mass fraction

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

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

SubClass Of: fraction

Class Hierarchy

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

Definition

fraction of a material entity that is determined by the mass of a specified part of that material entity relative to the total mass of the material entity

Examples

• the mass fraction of glucose in a powdered medium; the mass fraction of sodium chloride in a buffer formulation; the mass fraction of water molecules in a lyophilized drug product cake;

Adapted From

• http://purl.allotrope.org/ontologies/quality#AFQ_0000173

Primitive Class

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

Primitive Rationale

There are insufficient constructs for creating a set of necessary and sufficient conditions

Formal Axioms

First-Order Logic Axioms

MassFraction(x) → Fraction(x) ∧ ∃m(MaterialEntity(m) ∧ qualityOf(x,m) ∧ ∀p(hasMagnitudeBasisInBearerPart(x,p) → (MaterialEntity(p) ∧ properContinuantPartOfAtSomeTime(p,m))))

Semi-Formal Natural Language Axioms

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

Description Logic

constr:MassFraction ⊑ constr:Fraction

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

SubClassOf: constr:Fraction

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