bioreactor
IRI: https://spec.industrialontologies.org/ontology/construct/Bioreactor
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Equipment/
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
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 either has capability some ‘bioproduction environment capability’ and has function some ‘cultivation environment capability’, or has capability some ‘cultivation environment capability’ and has function some ‘bioproduction environment capability’
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) ∧ ( ∃c1∃f1 (BioproductionEnvironmentCapability(c1) ∧ hasCapability(x, c1) ∧ CultivationEnvironmentCapability(f1) ∧ hasFunction(x, f1)) ∨ ∃c2∃f2 (CultivationEnvironmentCapability(c2) ∧ hasCapability(x, c2) ∧ BioproductionEnvironmentCapability(f2) ∧ hasFunction(x, f2)) )
Description Logic
constr:Bioreactor ≡ constr:EngineeredSystem ⊓ ∃ constr:hasCapability .constr:BioproductionEnvironmentCapability ⊓ ∃ constr:hasFunction .constr:CultivationEnvironmentCapability
constr:Bioreactor ≡ constr:EngineeredSystem ⊓ ∃ constr:hasCapability .constr:CultivationEnvironmentCapability ⊓ ∃ constr:hasFunction .constr:BioproductionEnvironmentCapability
constr:Bioreactor ⊑ constr:EngineeredSystem
EquivalentTo: constr:EngineeredSystem and constr:hasCapability some constr:BioproductionEnvironmentCapability and constr:hasFunction some constr:CultivationEnvironmentCapability
EquivalentTo: constr:EngineeredSystem and constr:hasCapability some constr:CultivationEnvironmentCapability and constr:hasFunction some constr:BioproductionEnvironmentCapability
SubClassOf: constr:EngineeredSystem
constr:Bioreactor DisjointWith: (constr:ChromatographySystem, constr:ThawingSystem)