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

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

constr:Bioreactor ⊓ constr:ChromatographySystem ⊑ ⊥

constr:Bioreactor ⊓ constr:ThawingSystem ⊑ ⊥

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)