thawing function
IRI: https://spec.industrialontologies.org/ontology/construct/ThawingFunction
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaEquipment/
SubClass Of: thawing capability
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › thawing capability › thawing function
Definition
thawing capability that is a function of a material artifact or engineered system
Semi-Formal Definition:
every instance of ‘thawing function’ is exactly an instance of ‘thawing capability’ that is the ‘function of’ some entity that is a ‘material artifact’ or an ‘engineered system’
Examples
- the thawing function of a temperature-controlled water bath to thaw closed cryovials containing cryopreserved cells from a cell bank; the thawing function of a controlled-rate freeze-and-thaw system to thaw frozen bulk drug substance
Formal Axioms
First-Order Logic Definition
ThawingFunction(x) ↔ ThawingCapability(x) ∧ ∃b((MaterialArtifact(b) ∨ EngineeredSystem(b)) ∧ functionOf(x,b))
Description Logic
constr:ThawingFunction ≡ constr:ThawingCapability ⊓ ∃ constr:functionOf .(constr:EngineeredSystem ⊔ constr:MaterialArtifact)
EquivalentTo: constr:ThawingCapability and constr:functionOf some (constr:EngineeredSystem or constr:MaterialArtifact)
SubClassOf: constr:ThawingCapability