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:

recipe element derivation process

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 .constr:Agent ⊓ ∃ constr:hasSpecifiedOutput .(constr:RecipeProceduralElement ⊔ constr:RecipeProcessElement)

constr:RecipeElementCreationProcess ⊑ constr:PlannedProcess

constr:RecipeElementCreationProcess ⊓ constr:RecipeCreationProcess ⊑ ⊥

EquivalentTo: constr:PlannedProcess and bfo:has_participant some constr:Agent and constr:hasSpecifiedOutput some (constr:RecipeProceduralElement or constr:RecipeProcessElement)

SubClassOf: constr:PlannedProcess

constr:RecipeElementCreationProcess DisjointWith: constr:RecipeCreationProcess