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

recipe process action occurrence
type: Class
subclass of: recipe process element occurrence
equivalent class: Class
  intersection of: recipe process element occurrence
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeProcessAction
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeProcessActionOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessAction(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe process action
semi formal natural language definition: every instance of 'recipe process action occurrence' is exactly an instance of 'recipe process element occurrence' that 'is prescribed by' some 'recipe process action'
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 process element occurrence
type: Class
subclass of: PlannedProcess
equivalent class: Class
  intersection of: PlannedProcess
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeProcessElement
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeProcessElementOccurrence(x) ↔ PlannedProcess(x) ∧ ∃y (RecipeProcessElement(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe process element
semi formal natural language definition: every instance of 'recipe process element occurrence' is exactly an instance of 'planned process' that 'is prescribed by' some 'recipe process 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 PSOA-level occurrence classes, it must not be subclassed directly.

recipe process occurrence
type: Class
subclass of: recipe process element occurrence
equivalent class: Class
  intersection of: recipe process element occurrence
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeProcess
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeProcessOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcess(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe process
semi formal natural language definition: every instance of 'recipe process occurrence' is exactly an instance of 'recipe process element occurrence' that 'is prescribed by' some 'recipe process'
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 process operation occurrence
type: Class
subclass of: recipe process element occurrence
equivalent class: Class
  intersection of: recipe process element occurrence
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeProcessOperation
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeProcessOperationOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessOperation(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe process operation
semi formal natural language definition: every instance of 'recipe process operation occurrence' is exactly an instance of 'recipe process element occurrence' that 'is prescribed by' some 'recipe process 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 process stage occurrence
type: Class
subclass of: recipe process element occurrence
equivalent class: Class
  intersection of: recipe process element occurrence
  intersection of: Restriction
    on property: prescribedBy
    some values from: RecipeProcessStage
example: see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as HermiT
first order logic definition: RecipeProcessStageOccurrence(x) ↔ RecipeProcessElementOccurrence(x) ∧ ∃y (RecipeProcessStage(y) ∧ prescribedBy(x, y))
natural language definition: planned process that is prescribed by some recipe process stage
semi formal natural language definition: every instance of 'recipe process stage occurrence' is exactly an instance of 'recipe process element occurrence' that 'is prescribed by' some 'recipe process stage'
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.

Axiom
annotated property: wasDefinedBy
annotated source: recipe process action occurrence
was moved from: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/
was moved on: 2026-05-14T12:41:00

Axiom
annotated property: wasDefinedBy
annotated source: recipe process element occurrence
was moved from: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/
was moved on: 2026-05-14T12:41:00

Axiom
annotated property: wasDefinedBy
annotated source: recipe process occurrence
was moved from: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/
was moved on: 2026-05-14T12:41:00

Axiom
annotated property: wasDefinedBy
annotated source: recipe process operation occurrence
was moved from: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/
was moved on: 2026-05-14T12:41:00

Axiom
annotated property: wasDefinedBy
annotated source: recipe process stage occurrence
was moved from: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/
was moved on: 2026-05-14T12:41:00