mixing process
IRI: https://spec.industrialontologies.org/ontology/construct/MixingProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/
SubClass Of: planned process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › mixing process
Definition
planned process that combines material entities or redistributes parts of a material entity to increase or maintain the homogeneity of the material being processed
Explanatory Notes
Mixing may involve combining initially separate materials or redistributing parts of an existing material. It may be performed manually or mechanically and may involve liquids, solids, gases, suspensions, pastes or other materials. Homogeneity need not be absolute; the process may increase homogeneity or maintain it by preventing segregation.
Examples
- mixing a buffer solution; mixing a cell culture suspension; mixing two liquid process streams; maintaining a suspension by agitation
Adapted From
- http://purl.obolibrary.org/obo/CHMO_0001685
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
Insufficient constructs are present to create a set of necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
MixingProcess(x) → PlannedProcess(x) ∧ ∃y∃c ((Agent(y) ∨ PieceOfEquipment(y)) ∧ MixingCapability(c) ∧ hasCapability(y,c) ∧ hasParticipantAtSomeTime(x,y))
Semi-Formal Natural Language Axioms
if x is a ‘mixing process’ then x is a ‘planned process’ and ‘has participant at some time’ some ‘agent’ or ‘piece of equipment’ that ‘has capability’ some ‘mixing capability’
Description Logic
constr:MixingProcess ⊑ constr:PlannedProcess
constr:MixingProcess ⊑ ∃ bfo:has_participant_at_some_time .((constr:Agent ⊔ constr:PieceOfEquipment) ⊓ ∃ constr:hasCapability .constr:MixingCapability)
SubClassOf: constr:PlannedProcess
SubClassOf: bfo:has_participant_at_some_time some ((constr:Agent or constr:PieceOfEquipment) and constr:hasCapability some constr:MixingCapability)