Changes in biopharma/Recipe.rdf

Changed

Classes

BatchRun

  • IRI: https://spec.industrialontologies.org/ontology/construct/BatchRun

Axioms

  • constr:BatchRun ⊑ ∃ bfo:has_participant_at_some_time .constr:PieceOfEquipment
  • constr:BatchRun ⊑ ∃ bfo:has_participant .constr:PieceOfEquipment

ControlRecipe

  • IRI: https://spec.industrialontologies.org/ontology/construct/ControlRecipe

Axioms

  • constr:Recipe ⊓ ∃ bfo:is_concretized_by_at_some_time .constr:BatchRun ⊑ constr:ControlRecipe
  • constr:Recipe ⊓ ∃ bfo:is_concretized_by .constr:BatchRun ⊑ constr:ControlRecipe

RecipeCreationProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeCreationProcess

Axioms

  • constr:RecipeCreationProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:Agent ⊓ ∃ constr:hasSpecifiedOutput .constr:Recipe
  • constr:RecipeCreationProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_participant .constr:Agent ⊓ ∃ constr:hasSpecifiedOutput .constr:Recipe

RecipeElementCreationProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeElementCreationProcess

Axioms

  • constr:RecipeElementCreationProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:Agent ⊓ ∃ constr:hasSpecifiedOutput .(constr:RecipeProceduralElement ⊔ constr:RecipeProcessElement)
  • constr:RecipeElementCreationProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_participant .constr:Agent ⊓ ∃ constr:hasSpecifiedOutput .(constr:RecipeProceduralElement ⊔ constr:RecipeProcessElement)

RecipeOperation

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeOperation

Axioms

  • constr:RecipeOperation ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeProcedure ⊔ constr:RecipeUnitProcedure
  • constr:RecipeOperation ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeProcedure ⊔ constr:RecipeUnitProcedure

RecipePhase

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipePhase

Axioms

  • constr:RecipePhase ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeOperation ⊔ constr:RecipeProcedure ⊔ constr:RecipeUnitProcedure
  • constr:RecipePhase ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeOperation ⊔ constr:RecipeProcedure ⊔ constr:RecipeUnitProcedure

RecipeProceduralElement

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProceduralElement

Axioms

  • constr:RecipeProceduralElement ⊑ ∀ bfo:continuant_part_of_at_some_time .¬ constr:GeneralRecipe ⊔ constr:RecipeProcessElement ⊔ constr:SiteRecipe
  • constr:RecipeProceduralElement ⊑ ∀ bfo:continuant_part_of .¬ constr:GeneralRecipe ⊔ constr:RecipeProcessElement ⊔ constr:SiteRecipe

RecipeProcessAction

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcessAction

Axioms

  • constr:RecipeProcessAction ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeProcess ⊔ constr:RecipeProcessOperation ⊔ constr:RecipeProcessStage
  • constr:RecipeProcessAction ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeProcess ⊔ constr:RecipeProcessOperation ⊔ constr:RecipeProcessStage

RecipeProcessElement

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcessElement

Axioms

  • constr:RecipeProcessElement ⊑ ∀ bfo:continuant_part_of_at_some_time .¬ constr:ControlRecipe ⊔ constr:MasterRecipe ⊔ constr:RecipeProceduralElement
  • constr:RecipeProcessElement ⊑ ∀ bfo:continuant_part_of .¬ constr:ControlRecipe ⊔ constr:MasterRecipe ⊔ constr:RecipeProceduralElement

RecipeProcessOperation

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcessOperation

Axioms

  • constr:RecipeProcessOperation ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeProcess ⊔ constr:RecipeProcessStage
  • constr:RecipeProcessOperation ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeProcess ⊔ constr:RecipeProcessStage

RecipeProcessStage

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeProcessStage

Axioms

  • constr:RecipeProcessStage ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeProcess
  • constr:RecipeProcessStage ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeProcess

RecipeUnitProcedure

  • IRI: https://spec.industrialontologies.org/ontology/construct/RecipeUnitProcedure

Axioms

  • constr:RecipeUnitProcedure ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:RecipeProcedure
  • constr:RecipeUnitProcedure ⊑ ∀ bfo:has_continuant_part .¬ constr:RecipeProcedure