recipe phase
IRI: https://spec.industrialontologies.org/ontology/construct/RecipePhase
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/
SubClass Of: recipe procedural element
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › recipe procedural element › recipe phase
Definition
recipe procedural element that has no other recipe procedural element as its proper part and that prescribes one or more alternative physical units or equipment modules with compatible capabilities
Explanatory Notes
1) ISA 88 Part 1 Section 3: The lowest level of procedural element in the procedural control model. 2) ISA 88 Part 1 Section 5: The smallest element of procedural control that can accomplish a process-oriented task is a phase. A phase may be subdivided into smaller parts. 3) Specifics about how phase may be subdivided can be found in other standards like MTP which contains a lot equipment and action specific information. According to ISA88 a recipe phase points to an equipment phase. This interaction will be explored in the future.
Examples
- ‘Calibrate temperature control system’, ‘Feed fresh media’, ‘Test pressure relief system’, ‘Sample bioreaction mixture’.
Adapted From
- ISA-88 Part 1
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
This term is expected to remain primitive, as expressing that it has no other procedural elements as parts requires the use of negation, which is generally avoided in ontological definitions.
Formal Axioms
First-Order Logic Axioms
RecipePhase(x) → RecipeProceduralElement(x) ∧ ∀y (hasContinuantPartAtSomeTime(x, y) → ¬(RecipeOperation(y) ∨ RecipeProcedure(y) ∨ RecipeUnitProcedure(y))) ∧ ∀z (hasProperContinuantPartAtSomeTime(x, z) → ¬RecipeProceduralElement(z))
Semi-Formal Natural Language Axioms
if x is a ‘recipe phase’, then x is a ‘recipe procedural element’, x ‘has continuant part at some time’ only entities that are not a ‘recipe operation’, ‘recipe procedure’, or ‘recipe unit procedure’, and x ‘has proper continuant part at some time’ only entities that are not a ‘recipe procedural element’
Description Logic
constr:RecipePhase ⊑ constr:RecipeProceduralElement
constr:RecipePhase ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:RecipeProceduralElement
constr:RecipePhase ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeOperation ⊔ constr:RecipeProcedure ⊔ constr:RecipeUnitProcedure
constr:RecipePhase ⊓ constr:RecipeOperation ⊑ ⊥
SubClassOf: constr:RecipeProceduralElement
SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:RecipeProceduralElement
SubClassOf: bfo:has_continuant_part_at_some_time only not (constr:RecipeOperation or constr:RecipeProcedure or constr:RecipeUnitProcedure)
constr:RecipePhase DisjointWith: (constr:RecipeOperation, constr:RecipeProcedure, constr:RecipeUnitProcedure)