bioreactor
IRI: https://spec.industrialontologies.org/ontology/construct/Bioreactor
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaEquipment/
SubClass Of: engineered system
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system › bioreactor
Direct subclasses:
Definition
engineered system designed to provide a controlled environment for the cultivation of cells, tissues, or microorganisms, or for the production of material products or process intermediate materials by those biological entities
Semi-Formal Definition:
every instance of ‘bioreactor’ is defined as exactly an instance of ‘engineered system’ that ‘has member part at some time’ some ‘bioreactor vessel’ and ‘has function’ some ‘cultivation environment function’
Examples
- Stainless steel production bioreactor with integrated agitation and feed control; 2000 L single-use production bioreactor for monoclonal antibody manufacturing; Stirred-tank seed bioreactor with automated pH and DO control; single-use seed bioreactor for mammalian cell expansion; small-scale glass seed bioreactor with temperature regulation; perfusion seed bioreactor with cell retention system
Counter-Examples
- Empty stainless steel vessel without integrated agitation, control skid, or single-use bag system; refrigerated storage unit maintaining cell viability; Incubator designed to maintain temperature and CO₂ for cell culture without agitation, feeding, or waste removal functions; static cell culture flask lacking active environmental controls
Adapted From
- https://www.sciencedirect.com/topics/earth-and-planetary-sciences/bioreactor and https://www.sciencedirect.com/topics/immunology-and-microbiology/bioreactor and https://www.sciencedirect.com/topics/agricultural-and-biological-sciences/bioreactor
Formal Axioms
First-Order Logic Definition
Bioreactor(x) ↔ EngineeredSystem(x) ∧ ∃b(BioreactorVessel(b) ∧ hasMemberPartAtSomeTime(x,b)) ∧ ∃f(CultivationEnvironmentFunction(f) ∧ hasFunction(x,f))
Description Logic
constr:Bioreactor ≡ constr:EngineeredSystem ⊓ ∃ bfo:has_member_part_at_some_time .constr:BioreactorVessel ⊓ ∃ constr:hasFunction .constr:CultivationEnvironmentFunction
constr:Bioreactor ⊑ constr:EngineeredSystem
EquivalentTo: constr:EngineeredSystem and bfo:has_member_part_at_some_time some constr:BioreactorVessel and constr:hasFunction some constr:CultivationEnvironmentFunction
SubClassOf: constr:EngineeredSystem
constr:Bioreactor DisjointWith: (constr:ChromatographySystem, constr:ThawingSystem)