compositional homogeneity

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

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

SubClass Of: homogeneity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:quality › homogeneity › compositional homogeneity

Definition

homogeneity inhering in a material entity by virtue of the extent to which one or more constituents of that material entity are uniformly distributed throughout that material entity

Examples

• Compositional homogeneity of a prepared culture medium lot, where its dissolved constituents are uniformly distributed throughout the lot; Compositional homogeneity of a buffer preparation, where the buffer components and salts are uniformly distributed throughout the prepared solution; Compositional homogeneity of a powdered cell culture medium blend, where the intended powder constituents are uniformly distributed throughout the blend;

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

CompositionalHomogeneity(x) → Homogeneity(x) ∧ ∃m (MaterialEntity(m) ∧ qualityOf(x, m) ∧ ∀y (hasMagnitudeBasisInBearerPart(x, y) → (MaterialEntity(y) ∧ isMadeOfAtSomeTime(m, y))))

Semi-Formal Natural Language Axioms

if x is a ‘compositional homogeneity’, then x is a ‘homogeneity’ that is the ‘quality of’ some ‘material entity’ m, and every entity y that x ‘has magnitude basis in bearer part’ is a ‘material entity’ that m ‘is made of at some time’

Description Logic

constr:CompositionalHomogeneity ⊑ constr:Homogeneity

constr:CompositionalHomogeneity ⊑ ∀ constr:hasMagnitudeBasisInBearerPart .∃ constr:isMadeOfAtSomeTime⁻ .bfo:material_entity

SubClassOf: constr:Homogeneity

SubClassOf: constr:hasMagnitudeBasisInBearerPart only inverse constr:isMadeOfAtSomeTime some bfo:material_entity