recipe creation process
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeCreationProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/
SubClass Of: planned process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › recipe creation process
Direct subclasses:
Definition
planned process in which some agent creates a recipe
Semi-Formal Definition:
every instance of ‘recipe creation process’ is defined as exactly an instance of ‘planned process’ that ‘has participant at some time’ some ‘agent’, and ‘has specified output’ some ‘recipe’.
Explanatory Notes
A recipe creation process may proceed de novo, based on domain knowledge of the product or process, without reuse of existing recipe structures. Alternatively, it may involve the reuse or adaptation of one or more existing recipes, or of their process or procedural elements, in which case it is classified as a recipe derivation process.
Examples
- A member of the ‘Polymer Process Development Team’ of the ‘StarChemicals’ company, creates the ‘GR-PVC-SUSP-V1’ General Recipe, 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 Vinyl Chloride Monomer (1000 kg) raw material into ~980 kg of PVC granular resin product, 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
- ISA-88 Part 1
Formal Axioms
First-Order Logic Definition
RecipeCreationProcess(x) ↔ PlannedProcess(x) ∧ ∃a(Agent(a) ∧ hasParticipantAtSomeTime(x, a)) ∧ ∃r(Recipe(r) ∧ hasSpecifiedOutput(x, r))
Description Logic
constr:RecipeCreationProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:Agent ⊓ ∃ constr:hasSpecifiedOutput .constr:Recipe
constr:RecipeCreationProcess ⊑ constr:PlannedProcess
constr:RecipeCreationProcess ⊓ constr:RecipeElementCreationProcess ⊑ ⊥
EquivalentTo: constr:PlannedProcess and bfo:has_participant_at_some_time some constr:Agent and constr:hasSpecifiedOutput some constr:Recipe
SubClassOf: constr:PlannedProcess
constr:RecipeCreationProcess DisjointWith: constr:RecipeElementCreationProcess