thawing capability
IRI: https://spec.industrialontologies.org/ontology/construct/ThawingCapability
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaEquipment/
SubClass Of: capability
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › thawing capability
Direct subclasses:
Definition
capability that an engineered system or material artifact has to provide controlled heating to raise the temperature of a material to a specified setpoint, typically to transition the material from a solid or frozen state to a soft or liquid state
Explanatory Notes
It may be exhibited by complex engineered thawing systems or simpler material artifacts like warm water baths. Precise temperature control and monitoring are important to prevent damage to the material during thawing.
Examples
- Capability to uniformly raise temperature of cryopreserved cells in a sterile water bath; capability to provide precise temperature control for thawing frozen culture media in a dry thawing system; capability to deliver controlled microwave heating for rapid thawing of biological samples; capability of a recirculating warm water thawing system able to maintain its setpoint temperature; capability to apply gentle ultrasonic energy for thawing frozen tissues without damaging structure; capability of an automated thawing device for thawing cryovials by regulating its heated plate temperature; capability of a hot-air thawing tunnel that circulates hot air with precisely controlled temperature and flow rate to safely pre-thaw deep-frozen food products
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs in the ontology to create necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
ThawingCapability(x) → Capability(x) ∧ ∃z((EngineeredSystem(z) ∨ MaterialArtifact(z)) ∧ capabilityOf(x, z)) ∧ ∀y(hasRealization(x, y) → PlannedProcess(y))
Semi-Formal Natural Language Axioms
if x is a ‘thawing capability’ then x is a ‘capability’ that is the ‘capability of’ some ‘engineered system’ or ‘material artifact’ and whenever some y ‘realizes’ x that y must be a ‘planned process’
Description Logic
constr:ThawingCapability ⊑ constr:Capability
constr:ThawingCapability ⊑ ∀ bfo:has_realization .constr:PlannedProcess
constr:ThawingCapability ⊑ ∃ constr:capabilityOf .(constr:EngineeredSystem ⊔ constr:MaterialArtifact)
SubClassOf: constr:Capability
SubClassOf: bfo:has_realization only constr:PlannedProcess
SubClassOf: constr:capabilityOf some (constr:EngineeredSystem or constr:MaterialArtifact)