Changes in `biopharma/BiopharmaManufacturingExecution.rdf`

Changed

Classes

`BiomanufacturingProductionProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/BiomanufacturingProductionProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`CaptureStep`

IRI: https://spec.industrialontologies.org/ontology/construct/CaptureStep

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “CaptureStep(x) → PurificationProcess(x) ∧ ∃r (RecipeProcessStage(r) ∧ prescribes(r, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘capture step’ then x is a ‘purification process’ and is ‘prescribed by’ some ‘recipe process stage’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “CaptureStep(x) → PurificationProcess(x)”
semiFormalNaturalLanguageAxiom = “if x is a ‘capture step’ then x is a ‘purification process’”

Axioms

constr:CaptureStep ⊑ ∃ constr:prescribedBy .constr:RecipeProcessStage

`CellBanking`

IRI: https://spec.industrialontologies.org/ontology/construct/CellBanking

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “CellBankingProcess(x) → StorageProcess(x) ∧ ∃y (CellLine(y) ∧ hasParticipantAtSomeTime(x, y)) ∧ ∃z (RecipeProcessOperation(z) ∧ prescribedBy(x, z))”
semiFormalNaturalLanguageAxiom = “if x is a ‘cell banking process’ then x is a ‘storage process’ that ‘has participant at some time’ some ‘cell line’ and is ‘prescribed by’ some ‘recipe process operation’ `”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “CellBankingProcess(x) → StorageProcess(x) ∧ ∃y (CellLine(y) ∧ hasParticipantAtSomeTime(x, y))”
semiFormalNaturalLanguageAxiom = “if x is a ‘cell banking process’ then x is a ‘storage process’ that ‘has participant at some time’ some ‘cell line’”

Axioms

constr:CellBanking ⊑ ∃ bfo:has_participant_at_some_time .constr:CellLine
constr:CellBanking ⊑ ∃ constr:prescribedBy .constr:RecipeProcessOperation

constr:CellBanking ⊑ ∃ bfo:has_participant .constr:CellLine

`CellCultureExpansionProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/CellCultureExpansionProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`CellLineDevelopment`

IRI: https://spec.industrialontologies.org/ontology/construct/CellLineDevelopment

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “CellLineDevelopment(x) → ManufacturingProcess(x) ∧ ∃g ∃c (GeneticTransformationProcess(g) ∧ CloneSelectionProcess(c) ∧ hasOccurrentPart(x, g) ∧ hasOccurrentPart(x, c) ∧ precedes(g, c)) ∧ ∃o (CellLine(o) ∧ hasSpecifiedOutput(x, o)) ∧ ∃r (RecipeProcess(r) ∧ prescribes(r, x)) ∧ temporallyStartedBy(x, g) ∧ (∃b (CellBanking(b) ∧ meets(x, b)) ∨ ∃b (CellBanking(b) ∧ temporallyOverlaps(x, b)))”
semiFormalNaturalLanguageAxiom = “if x is a ‘cell line development’ then x is a ‘manufacturing process’ and ‘has occurrent part’ some ‘genetic transformation process’ that ‘precedes’ some ‘clone selection process’ and ‘has occurrent part’ some ‘clone selection process’ and ‘has specified output’ some ‘cell line’ and is ‘prescribed by’ some ‘recipe process’ and is ‘temporally started by’ some ‘genetic transformation process’ and either ‘meets’ some ‘cell banking’ or ‘temporally overlaps’ some ‘cell banking’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “CellLineDevelopment(x) → ManufacturingProcess(x) ∧ ∃g ∃c (GeneticTransformationProcess(g) ∧ CloneSelectionProcess(c) ∧ hasOccurrentPart(x, g) ∧ hasOccurrentPart(x, c) ∧ precedes(g, c)) ∧ ∃o (CellLine(o) ∧ hasSpecifiedOutput(x, o)) ∧ temporallyStartedBy(x, g) ∧ (∃b (CellBanking(b) ∧ meets(x, b)) ∨ ∃b (CellBanking(b) ∧ temporallyOverlaps(x, b)))”
semiFormalNaturalLanguageAxiom = “if x is a ‘cell line development’ then x is a ‘manufacturing process’ and ‘has occurrent part’ some ‘genetic transformation process’ that ‘precedes’ some ‘clone selection process’ and ‘has occurrent part’ some ‘clone selection process’ and ‘has specified output’ some ‘cell line’ and is ‘temporally started by’ some ‘genetic transformation process’ and either ‘meets’ some ‘cell banking’ or ‘temporally overlaps’ some ‘cell banking’”

Axioms

constr:CellLineDevelopment ⊑ ∃ constr:prescribedBy .constr:RecipeProcess

`CellPopulationProliferation`

IRI: https://spec.industrialontologies.org/ontology/construct/CellPopulationProliferation

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`CentrifugationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/CentrifugationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “CentrifugationProcess(x) → PlannedProcess(x) ∧ ∃y(RecipeProcessOperation(y) ∧ prescribes(y, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘centrifugation process’ then x is a ‘planned process’ and is ‘prescribed by’ some ‘recipe process operation’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “CentrifugationProcess(x) → PlannedProcess(x)”
semiFormalNaturalLanguageAxiom = “if x is a ‘centrifugation process’ then x is a ‘planned process’”

Axioms

constr:CentrifugationProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessOperation

`ChemicalSynthesisProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/ChemicalSynthesisProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`ChromatographyProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/ChromatographyProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “ChromatographyProcess(x) → PlannedProcess(x) ∧ ∃y (MobilePhase(y) ∧ hasParticipantAtSomeTime(x, y)) ∧ ∃z (StationaryPhase(z) ∧ hasParticipantAtSomeTime(x, z)) ∧ ∃w (RecipeProcessOperation(w) ∧ prescribes(w, x))”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “ChromatographyProcess(x) → PlannedProcess(x) ∧ ∃y (MobilePhase(y) ∧ hasParticipantAtSomeTime(x, y)) ∧ ∃z (StationaryPhase(z) ∧ hasParticipantAtSomeTime(x, z))”

Axioms

constr:ChromatographyProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:MobilePhase
constr:ChromatographyProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:StationaryPhase
constr:ChromatographyProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessOperation

constr:ChromatographyProcess ⊑ ∃ bfo:has_participant .constr:MobilePhase
constr:ChromatographyProcess ⊑ ∃ bfo:has_participant .constr:StationaryPhase

`CloneSelectionProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/CloneSelectionProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “CloneSelectionProcess(x) → PlannedProcess(x) ∧ ∃y (ClonedCellLine(y) ∧ hasSpecifiedOutput(x, y)) ∧ ∃z (RecipeProcessStage(z) ∧ prescribes(z, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘clone selection process’ then x is a ‘planned process’ and ‘has specified output’ some ‘cloned cell line’ and is ‘prescribed by’ some ‘recipe process stage’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “CloneSelectionProcess(x) → PlannedProcess(x) ∧ ∃y (ClonedCellLine(y) ∧ hasSpecifiedOutput(x, y))”
semiFormalNaturalLanguageAxiom = “if x is a ‘clone selection process’ then x is a ‘planned process’ and ‘has specified output’ some ‘cloned cell line’”

Axioms

constr:CloneSelectionProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessStage

`CloneStabilityStudy`

IRI: https://spec.industrialontologies.org/ontology/construct/CloneStabilityStudy

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`DepthFiltrationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/DepthFiltrationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

Axioms

constr:DepthFiltrationProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:DepthFilter

constr:DepthFiltrationProcess ⊑ ∃ bfo:has_participant .constr:DepthFilter

`DiafiltrationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/DiafiltrationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “DiafiltrationProcess(x) → PlannedProcess(x) ∧ ∃y (DilutionProcess(y) ∧ hasOccurrentPart(x, y)) ∧ ∃z (FiltrationProcess(z) ∧ hasOccurrentPart(x, z)) ∧ ∃s (RecipeProcessStage(s) ∧ prescribes(s, x)) ∧ (∃y ∃z (DilutionProcess(y) ∧ FiltrationProcess(z) ∧ hasOccurrentPart(x, y) ∧ hasOccurrentPart(x, z) ∧ (before(y, z) ∨ occursSimultaneouslyWith(y, z))))”
semiFormalNaturalLanguageAxiom = “if x is a ‘diafiltration process’ then x is a ‘planned process’ and ‘has occurrent part’ some ‘dilution process’ and ‘has occurrent part’ some ‘filtration process’ and is ‘prescribed by’ some ‘recipe process stage’ and (‘has occurrent part’ some ‘dilution process’ that ‘occurs before’ some ‘filtration process’ or ‘occurs simultaneously with’ some ‘filtration process’)”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “DiafiltrationProcess(x) → PlannedProcess(x) ∧ ∃y (DilutionProcess(y) ∧ hasOccurrentPart(x, y)) ∧ ∃z (FiltrationProcess(z) ∧ hasOccurrentPart(x, z)) ∧ (∃y ∃z (DilutionProcess(y) ∧ FiltrationProcess(z) ∧ hasOccurrentPart(x, y) ∧ hasOccurrentPart(x, z) ∧ (before(y, z) ∨ occursSimultaneouslyWith(y, z))))”
semiFormalNaturalLanguageAxiom = “if x is a ‘diafiltration process’ then x is a ‘planned process’ and ‘has occurrent part’ some ‘dilution process’ and ‘has occurrent part’ some ‘filtration process’ and the ‘dilution process’ ‘occurs before’ the ‘filtration process’ or ‘occurs simultaneously with’ the ‘filtration process’”

Axioms

constr:DiafiltrationProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessStage

`DilutionProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/DilutionProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “DilutionProcess(x) → SolutionPreparationProcess(x) ∧ ∃y (RecipeProcessOperation(y) ∧ prescribes(y, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘dilution process’ then x is a ‘solution preparation process’ and is ‘prescribed by’ some ‘recipe process operation’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “DilutionProcess(x) → SolutionPreparationProcess(x)”

Axioms

constr:DilutionProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessOperation

`DirectFlowFiltration`

IRI: https://spec.industrialontologies.org/ontology/construct/DirectFlowFiltration

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`DrugProductFormulationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/DrugProductFormulationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “DrugProductFormationProcess(x) → ManufacturingProcess(x) ∧ ∃r (RecipeProcessStage(r) ∧ prescribes(r, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘drug product formation process’ then x is a ‘manufacturing process’ and is ‘prescribed by’ some ‘recipe process stage’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “DrugProductFormulationProcess(x) → ManufacturingProcess(x)”
semiFormalNaturalLanguageAxiom = “if x is a ‘drug product formulation process’ then x is a ‘manufacturing process’”

Axioms

constr:DrugProductFormulationProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessStage

`FiltrationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/FiltrationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “FiltrationProcess(x) → PlannedProcess(x) ∧ ∃y (Filter(y) ∧ hasParticipantAtSomeTime(x, y)) ∧ ∃z (RecipeProcessOperation(z) ∧ prescribes(z, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘filtration process’ then x is a ‘planned process’ and ‘has participant at some time’ some ‘filter’ and is ‘prescribed by’ some ‘recipe process operation’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “FiltrationProcess(x) → PlannedProcess(x) ∧ ∃y (Filter(y) ∧ hasParticipantAtSomeTime(x, y))”
semiFormalNaturalLanguageAxiom = “if x is a ‘filtration process’ then x is a ‘planned process’ and ‘has participant at some time’ some ‘filter’”

Axioms

constr:FiltrationProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:Filter
constr:FiltrationProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessOperation

constr:FiltrationProcess ⊑ ∃ bfo:has_participant .constr:Filter

`FluidFlowOrientation`

IRI: https://spec.industrialontologies.org/ontology/construct/FluidFlowOrientation

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`GasChromatographyProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/GasChromatographyProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`GeneticTransformationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/GeneticTransformationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`HarvestingProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/HarvestingProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicDefinition = “HarvestingProcess(x) ↔ PurificationProcess(x) ∧ ∃m∃p∃s(ProcessIntermediateMaterial(m) ∧ BiomanufacturingProductionProcess(p) ∧ isSpecifiedOutputOf(m, p) ∧ hasInput(x, m) ∧ RecipeProcessStage(s) ∧ prescribedBy(x, s))”
semiFormalNaturalLanguageDefinition = “every instance of ‘harvesting process’ is defined exactly as an instance of ‘purification process’ that ‘has input’ some ‘process intermediate material’ which ‘is specified output of’ some ‘biomanufacturing production process’ and that ‘is prescribed by’ some ‘recipe process stage’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “HarvestingProcess(x) → PurificationProcess(x) ∧ ∃m∃p(ProcessIntermediateMaterial(m) ∧ BiomanufacturingProductionProcess(p) ∧ isSpecifiedOutputOf(m, p) ∧ hasInput(x, m))”
isPrimitive = “True”
primitiveRationale = “Insufficient constructs are present to create a set of necessary and sufficient conditions”
semiFormalNaturalLanguageAxiom = “if x is a ‘harvesting process’ then x is a ‘purification process’ that ‘has input’ some ‘process intermediate material’ which ‘is specified output of’ some ‘biomanufacturing production process’”

Axioms

constr:HarvestingProcess ≡ constr:PurificationProcess ⊓ ∃ constr:hasInput .(constr:ProcessIntermediateMaterial ⊓ ∃ constr:isSpecifiedOutputOf .constr:BiomanufacturingProductionProcess) ⊓ ∃ constr:prescribedBy .constr:RecipeProcessStage

constr:HarvestingProcess ⊑ ∃ constr:hasInput .(constr:ProcessIntermediateMaterial ⊓ ∃ constr:isSpecifiedOutputOf .constr:BiomanufacturingProductionProcess)

`LiquidChromatographyProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/LiquidChromatographyProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`MediaSolutionPreparation`

IRI: https://spec.industrialontologies.org/ontology/construct/MediaSolutionPreparation

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`MembraneFiltrationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/MembraneFiltrationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

Axioms

constr:MembraneFiltrationProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:MembraneFilter

constr:MembraneFiltrationProcess ⊑ ∃ bfo:has_participant .constr:MembraneFilter

`NanofiltrationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/NanofiltrationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`NormalPhaseChromatographyProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/NormalPhaseChromatographyProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`PerpendicularlFlowOrientation`

IRI: https://spec.industrialontologies.org/ontology/construct/PerpendicularlFlowOrientation

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`PolishingProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/PolishingProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “PolishingProcess(x) → PurificationProcess(x) ∧ ∃r (RecipeProcessStage(r) ∧ prescribes(r, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘polishing process’ then x is a ‘purification process’ and is ‘prescribed by’ some ‘recipe process stage’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “PolishingProcess(x) → PurificationProcess(x)”
semiFormalNaturalLanguageAxiom = “if x is a ‘polishing process’ then x is a ‘purification process’”

Axioms

constr:PolishingProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessStage

`PoolingProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/PoolingProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “PoolingProcess(x) → ManufacturingProcess(x) ∧ ∃r (RecipeProcessOperation(r) ∧ prescribes(r, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘pooling process’ then x is a ‘manufacturing process’ and is ‘prescribed by’ some ‘recipe process operation’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “PoolingProcess(x) → ManufacturingProcess(x)”
semiFormalNaturalLanguageAxiom = “if x is a ‘pooling process’ then x is a ‘manufacturing process’”

Axioms

constr:PoolingProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessOperation

`ProductionCultureProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/ProductionCultureProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicDefinition = “ProductionCultureProcess(x) ↔ BiomanufacturingProductionProcess(x) ∧ ∃y (CellCulture(y) ∧ hasParticipantAtSomeTime(x, y)) ∧ ∃s (SeedTrain(s) ∧ precededBy(x, s)) ∧ ∃b (Bioreactor(b) ∧ hasParticipantAtSomeTime(x, b)) ∧ ∃r (RecipeProcessStage(r) ∧ prescribes(r, x))”
semiFormalNaturalLanguageDefinition = “every instance of ‘production culture process’ is defined as exactly an instance of ‘biomanufacturing production process’ that ‘has participant at some time’ some ‘cell culture’, is ‘preceded by’ some ‘seed train’, ‘has participant at some time’ some ‘bioreactor’, and is ‘prescribed by’ some ‘recipe process stage’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicDefinition = “ProductionCultureProcess(x) ↔ BiomanufacturingProductionProcess(x) ∧ ∃y (CellCulture(y) ∧ hasParticipantAtSomeTime(x, y)) ∧ ∃s (SeedTrain(s) ∧ precededBy(x, s)) ∧ ∃b (Bioreactor(b) ∧ hasParticipantAtSomeTime(x, b))”
semiFormalNaturalLanguageDefinition = “every instance of ‘production culture process’ is defined as exactly an instance of ‘biomanufacturing production process’ that ‘has participant at some time’ some ‘cell culture’, is ‘preceded by’ some ‘seed train’, ‘has participant at some time’ some ‘bioreactor’”

Axioms

constr:ProductionCultureProcess ≡ constr:BiomanufacturingProductionProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:Bioreactor ⊓ ∃ bfo:has_participant_at_some_time .constr:CellCulture ⊓ ∃ bfo:preceded_by .constr:SeedTrain ⊓ ∃ constr:prescribedBy .constr:RecipeProcessStage

constr:ProductionCultureProcess ≡ constr:BiomanufacturingProductionProcess ⊓ ∃ bfo:has_participant .constr:Bioreactor ⊓ ∃ bfo:has_participant .constr:CellCulture ⊓ ∃ bfo:preceded_by .constr:SeedTrain

`PurificationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/PurificationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`ReversePhaseChromatographyProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/ReversePhaseChromatographyProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`SeedTrain`

IRI: https://spec.industrialontologies.org/ontology/construct/SeedTrain

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicDefinition = “SeedTrain(x) ↔ ManufacturingProcess(x) ∧ ∃a (CellCulture(a) ∧ hasInput(x, a)) ∧ ∃b (CellCultureExpansionProcess(b) ∧ hasOccurrentPart(x, b)) ∧ ∃c (CellCulture(c) ∧ hasSpecifiedOutput(x, c) ∧ ∃i ∃p ∃s (InputSpecification(i) ∧ PlanSpecification(p) ∧ RecipeProcessStage(s) ∧ satisfiesRequirement(c, i) ∧ continuantPartOfAtAllTimes(i, p) ∧ prescribes(p, s) ∧ ProductionCultureProcess(y) ∧ prescribes(s, y))) ∧ ∃r (RecipeProcessStage(r) ∧ prescribes(r, x))”
semiFormalNaturalLanguageDefinition = “every instance of ‘seed train’ is defined as exactly an instance of ‘manufacturing process’ that ‘has input’ some ‘cell culture’, ‘has occurrent part’ some ‘cell culture expansion process’, and ‘has specified output’ some ‘cell culture’ that ‘satisfies requirement’ some ‘input specification’ that is ‘continuant part of at all times’ some ‘plan specification’ that ‘prescribes’ some ‘recipe process stage’ that ‘prescribes’ some ‘production culture process’, and is ‘prescribed by’ some ‘recipe process stage’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicDefinition = “SeedTrain(x) ↔ ManufacturingProcess(x) ∧ ∃a (CellCulture(a) ∧ hasInput(x, a)) ∧ ∃b (CellCultureExpansionProcess(b) ∧ hasOccurrentPart(x, b)) ∧ ∃c (CellCulture(c) ∧ hasSpecifiedOutput(x, c) ∧ ∃i ∃p ∃s (InputSpecification(i) ∧ PlanSpecification(p) ∧ RecipeProcessStage(s) ∧ satisfiesRequirement(c, i) ∧ continuantPartOfAtAllTimes(i, p) ∧ prescribes(p, s) ∧ ProductionCultureProcess(y) ∧ prescribes(s, y)))”
semiFormalNaturalLanguageDefinition = “every instance of ‘seed train’ is defined as exactly an instance of ‘manufacturing process’ that ‘has input’ some ‘cell culture’, ‘has occurrent part’ some ‘cell culture expansion process’, and ‘has specified output’ some ‘cell culture’ that ‘satisfies requirement’ some ‘input specification’ that is ‘continuant part of at all times’ some ‘plan specification’ that ‘prescribes’ some ‘recipe process stage’ that ‘prescribes’ some ‘production culture process’”

Axioms

constr:SeedTrain ≡ constr:ManufacturingProcess ⊓ ∃ bfo:has_occurrent_part .constr:CellCultureExpansionProcess ⊓ ∃ constr:hasInput .constr:CellCulture ⊓ ∃ constr:hasSpecifiedOutput .(constr:CellCulture ⊓ ∃ constr:satisfiesRequirement .(constr:InputSpecification ⊓ ∃ bfo:continuant_part_of_at_all_times .(constr:PlanSpecification ⊓ ∃ constr:prescribes .constr:ProductionCultureProcess))) ⊓ ∃ constr:prescribedBy .constr:RecipeProcessStage

constr:SeedTrain ≡ constr:ManufacturingProcess ⊓ ∃ bfo:has_occurrent_part .constr:CellCultureExpansionProcess ⊓ ∃ constr:hasInput .constr:CellCulture ⊓ ∃ constr:hasSpecifiedOutput .(constr:CellCulture ⊓ ∃ constr:satisfiesRequirement .(constr:InputSpecification ⊓ ∃ bfo:continuant_part_of_at_all_times .(constr:PlanSpecification ⊓ ∃ constr:prescribes .constr:ProductionCultureProcess)))

`SolutionPreparationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/SolutionPreparationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`TangentialFlowFiltration`

IRI: https://spec.industrialontologies.org/ontology/construct/TangentialFlowFiltration

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`TangentialFlowOrientation`

IRI: https://spec.industrialontologies.org/ontology/construct/TangentialFlowOrientation

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`ThawingProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/ThawingProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “ThawingProcess(x) → PlannedProcess(x) ∧ ∃y ∃c (PieceOfEquipment(y) ∧ ThawingCapability(c) ∧ hasCapability(y, c) ∧ hasParticipantAtSomeTime(x, y)) ∧ ∃z (RecipeProcessOperation(z) ∧ prescribes(z, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘thawing process’ then x is a ‘planned process’ and ‘has participant at some time’ some ‘piece of equipment’ that ‘has capability’ some ‘thawing capability’ and is ‘prescribed by’ some ‘recipe process operation’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “ThawingProcess(x) → PlannedProcess(x) ∧ ∃y ∃c (PieceOfEquipment(y) ∧ ThawingCapability(c) ∧ hasCapability(y, c) ∧ hasParticipantAtSomeTime(x, y))”
semiFormalNaturalLanguageAxiom = “if x is a ‘thawing process’ then x is a ‘planned process’ and ‘has participant at some time’ some ‘piece of equipment’ that ‘has capability’ some ‘thawing capability’”

Axioms

constr:ThawingProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:PieceOfEquipment ⊓ ∃ constr:hasCapability .constr:ThawingCapability)
constr:ThawingProcess ⊑ ∃ constr:prescribedBy .constr:RecipeProcessOperation

constr:ThawingProcess ⊑ ∃ bfo:has_participant .(constr:PieceOfEquipment ⊓ ∃ constr:hasCapability .constr:ThawingCapability)

`TransfectionProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/TransfectionProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`UltrafiltrationProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/UltrafiltrationProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`ViralClearance`

IRI: https://spec.industrialontologies.org/ontology/construct/ViralClearance

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”
firstOrderLogicAxiom = “ViralClearance(x) → ManufacturingProcess(x) ∧ ∃r (RecipeProcessStage(r) ∧ prescribes(r, x))”
semiFormalNaturalLanguageAxiom = “if x is a ‘viral clearance’ then x is a ‘manufacturing process’ and is ‘prescribed by’ some ‘recipe process stage’”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”
firstOrderLogicAxiom = “ViralClearance(x) → ManufacturingProcess(x)”
semiFormalNaturalLanguageAxiom = “if x is a ‘viral clearance’ then x is a ‘manufacturing process’”

Axioms

constr:ViralClearance ⊑ ∃ constr:prescribedBy .constr:RecipeProcessStage

`ViralFiltration`

IRI: https://spec.industrialontologies.org/ontology/construct/ViralFiltration

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`ViralInactivation`

IRI: https://spec.industrialontologies.org/ontology/construct/ViralInactivation

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

`ViralRemovalProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/ViralRemovalProcess

Annotations

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution”

isDefinedBy = “https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution”

Changes in biopharma/BiopharmaManufacturingExecution.rdf

Changed

Classes

Changes in `biopharma/BiopharmaManufacturingExecution.rdf`