recipe process action
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcessAction
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 action
Definition
recipe process element that has no other recipe process element as its proper part
Explanatory Notes
ISA 88 Part 1 Section 3 and 4: Minor processing activities that are combined to make up a process operation.
Examples
- ‘Calibrate temperature control system’, ‘Feed fresh media’, ‘Test pressure relief system’, ‘Sample bioreaction mixture’
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
This term is expected to remain primitive, as expressing that it has no other recipe process elements as parts requires the use of negation, which is generally avoided in ontological definitions.
Formal Axioms
First-Order Logic Axioms
RecipeProcessAction(x) → RecipeProcessElement(x) ∧ ∀y (hasContinuantPartAtSomeTime(x, y) → ¬(RecipeProcess(y) ∨ RecipeProcessOperation(y) ∨ RecipeProcessStage(y))) ∧ ∀z (hasProperContinuantPartAtAllTimes(x, z) → ¬RecipeProcessAction(z))
Semi-Formal Natural Language Axioms
if x is a ‘recipe process action’, then x is a ‘recipe process element’, x ‘has continuant part at some time’ only entities that are not a ‘recipe process’, ‘recipe process operation’, or ‘recipe process stage’, and x ‘has proper continuant part at all times’ only entities that are not a ‘recipe process action’
Description Logic
constr:RecipeProcessAction ⊑ constr:RecipeProcessElement
constr:RecipeProcessAction ⊑ ∀ bfo:has_proper_continuant_part_at_all_times .¬ constr:RecipeProcessAction
constr:RecipeProcessAction ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeProcess ⊔ constr:RecipeProcessOperation ⊔ constr:RecipeProcessStage
constr:RecipeProcessAction ⊓ constr:RecipeProcess ⊑ ⊥
constr:RecipeProcessAction ⊓ constr:RecipeProcessOperation ⊑ ⊥
SubClassOf: constr:RecipeProcessElement
SubClassOf: bfo:has_proper_continuant_part_at_all_times only not constr:RecipeProcessAction
SubClassOf: bfo:has_continuant_part only not (constr:RecipeProcess or constr:RecipeProcessOperation or constr:RecipeProcessStage)
constr:RecipeProcessAction DisjointWith: (constr:RecipeProcess, constr:RecipeProcessOperation, constr:RecipeProcessStage)