recipe procedure
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcedure
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 procedure
Definition
recipe procedural element that has a partially ordered set of recipe unit procedures as its part and that prescribes one or more alternative process cells with compatible capabilities
Semi-Formal Definition:
every instance of a ‘recipe procedure’ is a ‘recipe procedural element’ that ‘has continuant part at all times’ some ‘recipe unit procedure’ and ‘has continuant part at all times’ some ‘information content entity’ that either ‘denotes’ a ‘process cell’ or ‘prescribes’ a ‘process cell’ or a ‘manufacturing capability’ that is the ‘capability of’ a ‘process cell’
Explanatory Notes
1) ISA-88 Part 1 Section 3: The part of a recipe that defines the strategy for producing a batch. 2) ISA-88 Part 1 Section 5: The procedure is the highest level in the hierarchy and defines the strategy for carrying out a major processing action such as making a batch. It is defined in terms of an ordered set of unit procedures.
Examples
- A ‘PVC granular resin production recipe procedure’, which comprises the following unit procedures: a ‘Vinyl chloride monomer polymerization unit procedure’, a ‘Water Separation unit procedure’, and a ‘Drying unit procedure’. This recipe procedure can be carried out in Process Cell ‘Granular PVC production cell 001’, composed of a) Reactor JR-101/JR-102/JR-103/JR-104 (Stainless steel, 1,000-gallon, rated 100 psia, mechanical agitator, with temperature and pressure control systems, nitrogen purge system, pressure relief system with a Rupture disc); b) Centrifuge C-301/C-302 (Basket type, 600 lb. batch); c) VCM Recovery Unit VRU-1/VRU-2; d) Deionized water tank WTK-101/WTK-103; e) Low pressure steam supply system; f) Chilled Water Circuit, g) Spray Dryer SD-02/SD-04.
Adapted From
- ISA-88 Part 1
Formal Axioms
First-Order Logic Definition
RecipeProcedure(x) ↔ RecipeProceduralElement(x) ∧ ∃c,y,z (ProcessCell(c) ∧ InformationContentEntity(y) ∧ (denotes(y,c) ∨ (prescribes(y,c) ∨ ∃m(prescribes(y,m) ∧ ManufacturingCapability(m) ∧ capabilityOf(m,c)))) ∧ hasContinuantPartAtAllTimes(x,y) ∧ RecipeUnitProcedure(z) ∧ hasContinuantPartAtAllTimes(x,z))
First-Order Logic Axioms
RecipeProcedure(x) → RecipeProceduralElement(x) ∧ ∀y (hasProperContinuantPartAtSomeTime(x, y) → ¬RecipeProcedure(y))
Semi-Formal Natural Language Axioms
if x is a ‘recipe procedure’, then x is a ‘recipe procedural element’, and x ‘has proper continuant part at some time’ only entities that are not a ‘recipe procedure’
Description Logic
constr:RecipeProcedure ≡ constr:RecipeProceduralElement ⊓ (∃ bfo:has_continuant_part_at_all_times .(constr:InformationContentEntity ⊓ ∃ constr:denotes .constr:ProcessCell) ⊔ ∃ bfo:has_continuant_part_at_all_times .(constr:InformationContentEntity ⊓ ∃ constr:prescribes .(constr:ProcessCell ⊔ (constr:ManufacturingCapability ⊓ ∃ constr:capabilityOf .constr:ProcessCell)))) ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:RecipeUnitProcedure
constr:RecipeProcedure ⊑ constr:RecipeProceduralElement
constr:RecipeProcedure ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:RecipeProcedure
constr:RecipeProcedure ⊓ constr:RecipeOperation ⊑ ⊥
EquivalentTo: constr:RecipeProceduralElement and (bfo:has_continuant_part_at_all_times some (constr:InformationContentEntity and constr:denotes some constr:ProcessCell) or bfo:has_continuant_part_at_all_times some (constr:InformationContentEntity and constr:prescribes some (constr:ProcessCell or (constr:ManufacturingCapability and constr:capabilityOf some constr:ProcessCell)))) and bfo:has_continuant_part_at_all_times some constr:RecipeUnitProcedure
SubClassOf: constr:RecipeProceduralElement
SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:RecipeProcedure
constr:RecipeProcedure DisjointWith: (constr:RecipeOperation, constr:RecipePhase, constr:RecipeUnitProcedure)