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 that ‘has continuant part at all times’ some ‘information content entity’ that either ‘denotes’ or ‘prescribes’ a ‘process cell’ or a ‘manufacturing capability’ that is the ‘capability of’ the ‘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: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: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)