mixing function
IRI: https://spec.industrialontologies.org/ontology/construct/MixingFunction
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaEquipment/
SubClass Of: mixing capability
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › mixing capability › mixing function
Definition
mixing capability that is a function of a material artifact or engineered system
Semi-Formal Definition:
every instance of ‘mixing function’ is exactly an instance of ‘mixing capability’ that is the ‘function of’ some entity that is a ‘material artifact’ or an ‘engineered system’
Examples
- the mixing function of a bioreactor impeller to redistribute cells and medium within a stirred-tank vessel; the mixing function of a rocking platform to redistribute material contents within a single-use bag; the mixing function of a magnetic stirrer to combine and redistribute buffer components within a preparation vessel
Formal Axioms
First-Order Logic Definition
MixingFunction(x) ↔ MixingCapability(x) ∧ ∃b((MaterialArtifact(b) ∨ EngineeredSystem(b)) ∧ functionOf(x,b))
Description Logic
constr:MixingFunction ≡ constr:MixingCapability ⊓ ∃ constr:functionOf .(constr:EngineeredSystem ⊔ constr:MaterialArtifact)
EquivalentTo: constr:MixingCapability and constr:functionOf some (constr:EngineeredSystem or constr:MaterialArtifact)
SubClassOf: constr:MixingCapability