cultivation environment function

IRI: https://spec.industrialontologies.org/ontology/construct/CultivationEnvironmentFunction

Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaEquipment/

SubClass Of: cultivation environment capability

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › cultivation environment capability › cultivation environment function

Definition

cultivation environment capability that is a function of an engineered system

Semi-Formal Definition:

every instance of ‘cultivation environment function’ is exactly an instance of ‘cultivation environment capability’ that is the ‘function of’ some ‘engineered system’

Examples

• the cultivation environment function of a CO₂ incubator to provide controlled temperature, carbon-dioxide concentration, and humidity for adherent mammalian-cell cultivation; the cultivation environment function of a seed bioreactor to provide suitable temperature, pH, dissolved oxygen, mixing, and nutrient supply during cell expansion

Formal Axioms

First-Order Logic Definition

CultivationEnvironmentFunction(x) ↔ CultivationEnvironmentCapability(x) ∧ ∃e(EngineeredSystem(e) ∧ functionOf(x,e))

Description Logic

constr:CultivationEnvironmentFunction ≡ constr:CultivationEnvironmentCapability ⊓ ∃ constr:functionOf .constr:EngineeredSystem

constr:CultivationEnvironmentFunction ⊑ constr:CultivationEnvironmentCapability

EquivalentTo: constr:CultivationEnvironmentCapability and constr:functionOf some constr:EngineeredSystem

SubClassOf: constr:CultivationEnvironmentCapability