recipe derivation process

IRI: https://spec.industrialontologies.org/ontology/construct/RecipeDerivationProcess

Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/

SubClass Of: recipe creation process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › recipe creation process › recipe derivation process

Definition

recipe creation process in which a new recipe is created based on one or more existing recipes, recipe process elements, or recipe procedural elements

Semi-Formal Definition:

every instance of ‘recipe derivation process’ is defined as exactly an instance of ‘recipe creation process’ that ‘has input’ some ‘recipe’, ‘recipe procedural element’, or ‘recipe process element’

Explanatory Notes

This process involves reusing, adapting, or recombining parts of existing recipe structures to generate a new recipe that may reflect different production contexts, equipment capabilities, regulatory constraints, or product variations. Derivation may occur at the level of entire recipes or at the level of subcomponents such as recipe procedures, unit procedures, or process stages.

Examples

  • A member of the ‘Houston Process Engineering Department’, of the ‘StarChemicals Americas’ company, derives the ‘SR-PVC-SUSP-HOU-V5’ Site Recipe from the ‘GR-PVC-SUSP-V1’ General Recipe. It employs the Recipe Process ‘PVC granular resin production process Houston’, which comprises the following sequence of process stages ‘Vinyl chloride monomer polymerization stage’, ‘Water Separation stage’, and ‘Spray Drying stage’, to transform the Vinyl Chloride Monomer (2200 lb) raw material into ~980 kg of PVC granular resin product, employing the following Consumables: Deionized Water (1057 Gallons), Suspension Agent Polyvinyl Alcohol (CAS No.9002-89-5), by Wacker Chemie AG (11 lbs or target value), Benzoyl Peroxide Initiator (CAS No. 94-36-0), by Arzo Nobel (2.2 lbs or target value), Sodium Bicarbonate (CAS No. 144-55-8), by Church & Dwight Co (1.1 lbs. or target value).

Adapted From

  • ISA-88 Part 1

Formal Axioms

First-Order Logic Definition 

RecipeDerivationProcess(x) ↔ RecipeCreationProcess(x) ∧ ∃i((Recipe(i) ∨ RecipeProceduralElement(i) ∨ RecipeProcessElement(i)) ∧ hasInput(x, i))

Description Logic

constr:RecipeDerivationProcess ≡ constr:RecipeCreationProcess ⊓ ∃ constr:hasInput .(constr:Recipe ⊔ constr:RecipeProceduralElement ⊔ constr:RecipeProcessElement)

constr:RecipeDerivationProcess ⊑ constr:RecipeCreationProcess

EquivalentTo: constr:RecipeCreationProcess and constr:hasInput some (constr:Recipe or constr:RecipeProceduralElement or constr:RecipeProcessElement)

SubClassOf: constr:RecipeCreationProcess