Recipe Procedural Occurrence Classification Utility
type: Ontology
abstract: 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.
license: http://opensource.org/licenses/MIT
imports: Recipe
version IRI: RecipeProceduralOccurrenceClassificationUtility
copyright: Copyright (c) 2022, 2023, 2024, 2025, 2026 Open Applications Group
maturity: Released

recipe operation occurrence
type: Class
subclass of: recipe procedural element occurrence
equivalent class: Class
  intersection of: recipe procedural element occurrence
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeOperation
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeOperationOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipeOperation(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe operation
semi formal natural language definition: every instance of 'recipe operation occurrence' is exactly an instance of 'recipe procedural element occurrence' that 'is prescribed by' some 'recipe operation'
usage note: 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
type: Class
subclass of: recipe procedural element occurrence
equivalent class: Class
  intersection of: recipe procedural element occurrence
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipePhase
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipePhaseOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipePhase(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe phase
semi formal natural language definition: every instance of 'recipe phase occurrence' is exactly an instance of 'recipe procedural element occurrence' that 'is prescribed by' some 'recipe phase'
usage note: 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
type: Class
subclass of: PlannedProcess
equivalent class: Class
  intersection of: PlannedProcess
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeProceduralElement
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeProceduralElementOccurrence(x) ↔ PlannedProcess(x) ∧ ∃y (RecipeProceduralElement(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe procedural element
semi formal natural language definition: every instance of 'recipe procedural element occurrence' is exactly an instance of 'planned process' that 'is prescribed by' some 'recipe procedural element'
usage note: 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
type: Class
subclass of: recipe procedural element occurrence
equivalent class: Class
  intersection of: recipe procedural element occurrence
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeProcedure
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeProcedureOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipeProcedure(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe procedure
semi formal natural language definition: every instance of 'recipe procedure occurrence' is exactly an instance of 'recipe procedural element occurrence' that 'is prescribed by' some 'recipe procedure'
usage note: 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
type: Class
subclass of: recipe procedural element occurrence
equivalent class: Class
  intersection of: recipe procedural element occurrence
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeUnitProcedure
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeUnitProcedureOccurrence(x) ↔ RecipeProceduralElementOccurrence(x) ∧ ∃y (RecipeUnitProcedure(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe unit procedure
semi formal natural language definition: every instance of 'recipe unit procedure occurrence' is exactly an instance of 'recipe procedural element occurrence' that 'is prescribed by' some 'recipe unit procedure'
usage note: 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.