recipe process stage

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

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

SubClass Of: recipe process element

Class Hierarchy

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

Definition

recipe process element that has a partially ordered set of recipe process operations as its part

Explanatory Notes

1) ISA-88 Part 1 Section 3: A part of a process that usually operates independently from other process stages and usually results in a planned sequence of chemical or physical changes in the material being processed. 2) ISA-88 Part 1 Section 4: The process consists of one or more process stages which are organized as an ordered set, which can be serial, parallel, or both. A process stage is a part of a process that usually operates independently from other process stages. It usually results in a planned sequence of chemical or physical changes in the material being processed

Examples

• A ‘Vinyl chloride monomer polymerization stage’, which comprises a ‘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

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are currently insufficient constructs to represent a partially ordered set.

Formal Axioms

First-Order Logic Axioms

RecipeProcessStage(x) → RecipeProcessElement(x) ∧ ∃y (hasContinuantPartAtAllTimes(x, y) ∧ RecipeProcessOperation(y)) ∧ ∀z (hasContinuantPartAtSomeTime(x, z) → ¬RecipeProcess(z)) ∧ ∀w (hasProperContinuantPartAtSomeTime(x, w) → ¬RecipeProcessStage(w))

Semi-Formal Natural Language Axioms

if x is a ‘recipe process stage’, then x is a ‘recipe process element’, x ‘has continuant part at all times’ some ‘recipe process operation’, x ‘has continuant part at some time’ only entities that are not a ‘recipe process’, and x ‘has proper continuant part at some time’ only entities that are not a ‘recipe process stage’

Description Logic

constr:RecipeProcessStage ⊑ constr:RecipeProcessElement

constr:RecipeProcessStage ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeProcess

constr:RecipeProcessStage ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:RecipeProcessStage

constr:RecipeProcessStage ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:RecipeProcessOperation

constr:RecipeProcessStage ⊓ constr:RecipeProcess ⊑ ⊥

constr:RecipeProcessStage ⊓ constr:RecipeProcessAction ⊑ ⊥

constr:RecipeProcessStage ⊓ constr:RecipeProcessOperation ⊑ ⊥

SubClassOf: constr:RecipeProcessElement

SubClassOf: bfo:has_continuant_part_at_some_time only not constr:RecipeProcess

SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:RecipeProcessStage

SubClassOf: bfo:has_continuant_part_at_all_times some constr:RecipeProcessOperation

constr:RecipeProcessStage DisjointWith: (constr:RecipeProcess, constr:RecipeProcessAction, constr:RecipeProcessOperation)