Recipe Procedural Occurrence Classification Utility
This module contains defined utility classes for planned processes with respect to the recipe procedural element structure. It provides classes for planned processes that are prescribed by recipe procedural elements at the four different levels: 1) recipe procedure, 2) recipe unit procedure, 3) recipe operation, and 4) recipe phase. 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.
Copyright (c) 2022, 2023, 2024, 2025, 2026 Open Applications Group
recipe operation occurrence
see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
RecipeOperationOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipeOperation(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe operation
every instance of 'recipe operation occurrence' is exactly an instance of 'recipe procedural element occurrence' that 'is prescribed by' some 'recipe operation'
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 phase occurrence
RecipePhaseOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipePhase(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe phase
every instance of 'recipe phase occurrence' is exactly an instance of 'recipe procedural element occurrence' that 'is prescribed by' some 'recipe phase'
recipe procedural element occurrence
RecipeProceduralElementOccurrence(x) ↔ PlannedProcess(x) ∧ ∃y (RecipeProceduralElement(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe procedural element
every instance of 'recipe procedural element occurrence' is exactly an instance of 'planned process' that 'is prescribed by' some 'recipe procedural element'
This class is intended as a defined utility class for axiomatization and assertion convenience. Other than ontology-defined subclasses created to represent recipe procedural occurrence classes, it must not be subclassed directly.
recipe procedure occurrence
RecipeProcedureOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipeProcedure(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe procedure
every instance of 'recipe procedure occurrence' is exactly an instance of 'recipe procedural element occurrence' that 'is prescribed by' some 'recipe procedure'
recipe unit procedure occurrence
RecipeUnitProcedureOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipeUnitProcedure(y) ∧ prescribedBy(x, y))
planned process that is prescribed by some recipe unit procedure
every instance of 'recipe unit procedure occurrence' is exactly an instance of 'recipe procedural element occurrence' that 'is prescribed by' some 'recipe unit procedure'