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
Definition
capability that a 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 to maintain setpoint temperature in a recirculating warm water thawing system; capability to apply gentle ultrasonic energy for thawing frozen tissues without damaging structure; capability to regulate heated plate temperature for thawing cryovials in automated thawing devices
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)