recipe

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

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

SubClass Of: plan specification

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › recipe

Direct subclasses:

• control recipe
• general recipe
• master recipe
• site recipe

Definition

plan specification that prescribes some batch runs for a specific product or process intermediate

Explanatory Notes

A recipe contains an essential and comprehensive set of information required to uniquely define the manufacturing requirements for a specific product or process intermediate. This information typically includes: Product identification and version, List of raw materials and their quantities, Equipment requirements, Process parameters (e.g., temperatures, pressures, speeds), Step-by-step production instructions, Quality control specifications, Safety precautions, Packaging and labeling instructions.

Examples

• control recipe;general recipe;master recipe; site recipe

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

There are currently insufficient constructs available to create a set of necesary and sufficient conditions. In particular recipe structural elements like the header are missing

Formal Axioms

First-Order Logic Axioms

PlanSpecification(x) ∧ ∃y (prescribes(x, y) ∧ BatchRun(y)) ∧ ∃z ((RecipeProcedure(z) ∨ RecipeProcess(z)) ∧ hasContinuantPartAtAllTimes(x, z)) → Recipe(x)

Semi-Formal Natural Language Axioms

if x is a ‘plan specification’ that ‘prescribes’ some ‘batch run’ and ‘has continuant part at all times’ some ‘recipe procedure’ or ‘recipe process’ then x is a ‘recipe’

Description Logic

constr:Recipe ⊑ constr:PlanSpecification

constr:PlanSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .(constr:RecipeProcedure ⊔ constr:RecipeProcess) ⊓ ∃ constr:prescribes .constr:BatchRun ⊑ constr:Recipe

SubClassOf: constr:PlanSpecification

constr:PlanSpecification and bfo:has_continuant_part_at_all_times some (constr:RecipeProcedure or constr:RecipeProcess) and constr:prescribes some constr:BatchRun SubClassOf: constr:Recipe