]> 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. http://opensource.org/licenses/MIT 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 see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT 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' 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 procedural element occurrence see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT 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 see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT 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' 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 unit procedure occurrence see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT 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' 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.