porosity

IRI: https://spec.industrialontologies.org/ontology/construct/Porosity

Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaReferenceOntologyAttributes/

SubClass Of: volume fraction

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:quality › bfo:relational quality › ratio › fraction › volume fraction › porosity

Definition

volume fraction that is determined by the pore or void volume of a material entity relative to the total volume of that material entity

Examples

• the porosity of a chromatography resin bed; the porosity of a filter membrane; the porosity of a lyophilized drug product cake; the porosity of a packed powder bed; the porosity of a porous ceramic support

Adapted From

• https://www.sciencedirect.com/topics/engineering/porosity and https://www.iso.org/obp/ui#iso:std:iso:3252:ed-6:v1:en:term:3.3.48

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs to create a set of necessary and sufficient conditions

Formal Axioms

First-Order Logic Axioms

Porosity(x) → VolumeFraction(x) ∧ ∃m (MaterialEntity(m) ∧ qualityOf(x, m) ∧ ∀s (hasMagnitudeBasisInBearerPart(x, s) → (Site(s) ∧ properContinuantPartOfAtSomeTime(s, m))))

Semi-Formal Natural Language Axioms

if x is a ‘porosity’ then x is a ‘volume fraction’ that is the ‘quality of’ some ‘material entity’, and if x ‘has magnitude basis in bearer part’ some s, then s is a ‘site’ that is a ‘proper continuant part of at some time’ that same ‘material entity’

Description Logic

constr:Porosity ⊑ constr:VolumeFraction

constr:Porosity ⊑ ∀ constr:hasMagnitudeBasisInBearerPart .(bfo:site ⊓ ∃ bfo:proper_continuant_part_of_at_some_time .bfo:material_entity)

SubClassOf: constr:VolumeFraction

SubClassOf: constr:hasMagnitudeBasisInBearerPart only (bfo:site and bfo:proper_continuant_part_of_at_some_time some bfo:material_entity)