material impurity

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

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

SubClass Of: bfo:material entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › material impurity

Definition

material entity which has the material impurity role

Semi-Formal Definition:

every instance of ‘material impurity’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘material impurity role’

Explanatory Notes

See expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.

Examples

• residual solvent remaining after chemical synthesis; oxidation product formed during storage of a biologic; trace contaminant present in a raw material lot

Formal Axioms

First-Order Logic Definition

MaterialImpurity(x) ↔ MaterialEntity(x) ∧ ∃r(MaterialImpurityRole(r) ∧ hasRole(x,r))

Description Logic

constr:MaterialImpurity ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:MaterialImpurityRole

constr:MaterialImpurity ⊑ bfo:material_entity

EquivalentTo: bfo:material_entity and constr:hasRole some constr:MaterialImpurityRole

SubClassOf: bfo:material_entity