]> 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. http://opensource.org/licenses/MIT

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 see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT

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 see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT

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 see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT

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 see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT

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'