Recipe Process Occurrence Classification Utility
This module contains defined utility classes for planned processes with respect to the recipe process element structure. It provides classes for planned processes that are prescribed by recipe process elements at the four different PSOA levels: 1) recipe process, 2) recipe process stage, 3) recipe process operation, and 4) recipe process action. These classes are intended for reasoning-based classification at both the class level and the individual level based on the asserted prescribed by relation. They are utility classification classes and must not be subclassed directly. These classes are not expected to have asserted individuals. Instead, asserted individuals should belong to the relevant specific process type, for example a cell culture expansion process, and be inferred to belong to the appropriate PSOA-level classification.
Copyright (c) 2022, 2023, 2024, 2025, 2026 Open Applications Group
recipe process action occurrence
see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
RecipeProcessActionOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessAction(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe process action
every instance of 'recipe process action occurrence' is exactly an instance of 'recipe process element occurrence' that 'is prescribed by' some 'recipe process action'
This class is intended to be a defined class used for axiomatization and assertion convenience. It is not expected nor recommended that entities will be asserted directly as a subclass or instance of this class.
recipe process element occurrence
RecipeProcessElementOccurrence(x) ↔ PlannedProcess(x) ∧ ∃y (RecipeProcessElement(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe process element
every instance of 'recipe process element occurrence' is exactly an instance of 'planned process' that 'is prescribed by' some 'recipe process element'
This class is intended as a defined utility class for axiomatization and assertion convenience. Other than ontology-defined subclasses created to represent PSOA-level occurrence classes, it must not be subclassed directly.
recipe process occurrence
RecipeProcessOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcess(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe process
every instance of 'recipe process occurrence' is exactly an instance of 'recipe process element occurrence' that 'is prescribed by' some 'recipe process'
recipe process operation occurrence
RecipeProcessOperationOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessOperation(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe process operation
every instance of 'recipe process operation occurrence' is exactly an instance of 'recipe process element occurrence' that 'is prescribed by' some 'recipe process operation'
recipe process stage occurrence
RecipeProcessStageOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessStage(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe process stage
every instance of 'recipe process stage occurrence' is exactly an instance of 'recipe process element occurrence' that 'is prescribed by' some 'recipe process stage'