impurity fraction

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

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

SubClass Of: fraction

Class Hierarchy

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

Definition

fraction of a material entity that is determined by the proportion of material considered an impurity relative to the material entity as a whole

Examples

• the impurity fraction of host cell protein in a purified protein solution; the impurity fraction of residual DNA in a drug substance batch; the impurity fraction of residual solvent in a dried material; the impurity fraction of an unintended product-related variant in a protein preparation; the impurity fraction of degraded protein species in a formulation; the total impurity fraction of a purified drug substance batch

Adapted From

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

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

ImpurityFraction(x) → Fraction(x) ∧ ∃m(MaterialEntity(m) ∧ qualityOf(x,m) ∧ ∀p(hasMagnitudeBasisInBearerPart(x,p) → (MaterialEntity(p) ∧ ∃r(MaterialImpurityRole(r) ∧ hasRole(p,r)))))

Semi-Formal Natural Language Axioms

if x is an ‘impurity fraction’ then x is a ‘fraction’ that is the ‘quality of’ some ‘material entity’, and if x ‘has magnitude basis in bearer part’ some p, then p is a ‘material entity’ that ‘has role’ some ‘material impurity role’

Description Logic

constr:ImpurityFraction ⊑ constr:Fraction

constr:ImpurityFraction ⊑ ∀ constr:hasMagnitudeBasisInBearerPart .(bfo:material_entity ⊓ ∃ constr:hasRole .constr:MaterialImpurityRole)

SubClassOf: constr:Fraction

SubClassOf: constr:hasMagnitudeBasisInBearerPart only (bfo:material_entity and constr:hasRole some constr:MaterialImpurityRole)