thawing process

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

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

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › thawing process

Definition

planned process in which the temperature of a material entity is raised in a controlled manner to a specified setpoint, typically to transition it from a solid or frozen state to a soft or liquid state

Examples

• Cryopreserved cells contained in cryovials are thawed in a 37°C water bath, with gentle swirling, to facilitate even thawing; A frozen dough, like puff pastry, is thawed in a refrigerator at 5°C, with air circulation, for a certain period of time, before baking; In the fish industry, frozen blocks of Cod are thawed into large tanks with water, which are designed to facilitate the continuous movement of the product through a counter-flow stream of temperature controlled, agitated water

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

Insufficient constructs are present to create a set of necessary and sufficient conditions

Formal Axioms

First-Order Logic Axioms

ThawingProcess(x) → PlannedProcess(x) ∧ ∃y ∃c (PieceOfEquipment(y) ∧ ThawingCapability(c) ∧ hasCapability(y, c) ∧ hasParticipantAtSomeTime(x, y))

Semi-Formal Natural Language Axioms

if x is a ‘thawing process’ then x is a ‘planned process’ and ‘has participant at some time’ some ‘piece of equipment’ that ‘has capability’ some ‘thawing capability’

Description Logic

constr:ThawingProcess ⊑ constr:PlannedProcess

constr:ThawingProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:PieceOfEquipment ⊓ ∃ constr:hasCapability .constr:ThawingCapability)

SubClassOf: constr:PlannedProcess

SubClassOf: bfo:has_participant_at_some_time some (constr:PieceOfEquipment and constr:hasCapability some constr:ThawingCapability)