general recipe
IRI: https://spec.industrialontologies.org/ontology/construct/GeneralRecipe
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/
SubClass Of: recipe
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › recipe › general recipe
Definition
recipe that is independent of equipment and physical site
Examples
- General Recipe ‘GR-PVC-SUSP-V1’, which employs the Recipe Process ‘PVC granular resin production process’ that comprises the following sequence of process stages ‘Vinyl chloride monomer polymerization stage’, ‘Water Separation stage’, and ‘Drying stage’, to transform the raw material Vinyl Chloride Monomer (1000 kg) into ~980 kg of PVC granular resin, employing the following Consumables: Deionized Water (4000 L), Suspension Agent (e.g., Polyvinyl Alcohol/ Methylcellulose/Hydroxypropyl Methylcellulose 5 kg), Benzoyl Peroxide (1 kg), Buffer (e.g., Sodium Bicarbonate/Sodium Carbonate - 0.5 kg).
Adapted From
- https://www.plcacademy.com/isa-88-s88-batch-control-explained/
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 its independence from equipment or physical site would require the use of negation, which is generally avoided in ontological definitions.
Formal Axioms
First-Order Logic Axioms
GeneralRecipe(x) → Recipe(x) ∧ ¬∃y (prescribesPlannedProcessLocation(x, y) ∧ PhysicalSite(y))
Semi-Formal Natural Language Axioms
if x is a ‘general recipe’, then x is a ‘recipe’ and x does not ‘prescribe planned process location’ some ‘physical site’
Description Logic
constr:GeneralRecipe ⊑ constr:Recipe
constr:GeneralRecipe ⊑ ¬ ∃ constr:prescribesPlannedProcessLocation .constr:PhysicalSite
constr:GeneralRecipe ⊓ constr:ControlRecipe ⊑ ⊥
SubClassOf: constr:Recipe
SubClassOf: not constr:prescribesPlannedProcessLocation some constr:PhysicalSite
constr:GeneralRecipe DisjointWith: (constr:ControlRecipe, constr:MasterRecipe, constr:SiteRecipe)