recipe element creation process
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeElementCreationProcess
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 element creation process
Direct subclasses:
Definition
planned process in which some agent creates a recipe process element or recipe procedural element
Semi-Formal Definition:
every instance of a ‘recipe element creation process’ is exactly an instance of a ‘planned process’ that ‘has participant at some time’ some ‘agent’ and ‘has specified output’ some ‘recipe procedural element’ or ‘recipe process element’
Examples
- A member of the ‘Polymer Process Development Team’ of the ‘StarChemicals’ company, creates the ‘Vinyl chloride monomer polymerization stage’ process stage. It comprises the following sequence of process operations: ‘Setup process operation’, followed by a ‘Charge water, additives and monomer process operation’, followed by a ‘Polymerization process operation’, finishing with a ‘Post-polymerization process operation’.
Adapted From
- ISA-88 Part 1
Formal Axioms
First-Order Logic Definition
RecipeElementCreationProcess(x) ↔ PlannedProcess(x) ∧ ∃a(Agent(a) ∧ hasParticipantAtSomeTime(x,a)) ∧ ∃o((RecipeProceduralElement(o) ∨ RecipeProcessElement(o)) ∧ hasSpecifiedOutput(x,o))
Description Logic
constr:RecipeElementCreationProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:Agent ⊓ ∃ constr:hasSpecifiedOutput .(constr:RecipeProceduralElement ⊔ constr:RecipeProcessElement)
constr:RecipeElementCreationProcess ⊑ constr:PlannedProcess
constr:RecipeElementCreationProcess ⊓ constr:RecipeCreationProcess ⊑ ⊥
EquivalentTo: constr:PlannedProcess and bfo:has_participant_at_some_time some constr:Agent and constr:hasSpecifiedOutput some (constr:RecipeProceduralElement or constr:RecipeProcessElement)
SubClassOf: constr:PlannedProcess
constr:RecipeElementCreationProcess DisjointWith: constr:RecipeCreationProcess