Changes in 🟢 Biopharma Manufacturing Execution Ontology

Maturity: 🟢 Released

New ontology in this release, review all classes: 🟢 Biopharma Manufacturing Execution Ontology

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

SubClassOf: constr:prescribedBy some 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

SubClassOf: constr:prescribedBy some constr:RecipeProcessOperation

`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

SubClassOf: constr:prescribedBy some 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

SubClassOf: constr:prescribedBy some 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

SubClassOf: constr:prescribedBy some constr:RecipeProcessOperation

`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

SubClassOf: constr:prescribedBy some 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”

`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

SubClassOf: constr:prescribedBy some 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

SubClassOf: constr:prescribedBy some 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

SubClassOf: constr:prescribedBy some 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

SubClassOf: constr:prescribedBy some constr:RecipeProcessOperation

`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

EquivalentTo: constr:PurificationProcess and constr:hasInput some (constr:ProcessIntermediateMaterial and constr:isSpecifiedOutputOf some constr:BiomanufacturingProductionProcess) and constr:prescribedBy some constr:RecipeProcessStage

SubClassOf: constr:hasInput some (constr:ProcessIntermediateMaterial and constr:isSpecifiedOutputOf some 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”

`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

SubClassOf: constr:prescribedBy some 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

SubClassOf: constr:prescribedBy some 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

EquivalentTo: constr:BiomanufacturingProductionProcess and bfo:has_participant_at_some_time some constr:Bioreactor and bfo:has_participant_at_some_time some constr:CellCulture and bfo:preceded_by some constr:SeedTrain and constr:prescribedBy some constr:RecipeProcessStage

EquivalentTo: constr:BiomanufacturingProductionProcess and bfo:has_participant_at_some_time some constr:Bioreactor and bfo:has_participant_at_some_time some constr:CellCulture and bfo:preceded_by some 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

EquivalentTo: constr:ManufacturingProcess and bfo:has_occurrent_part some constr:CellCultureExpansionProcess and constr:hasInput some constr:CellCulture and constr:hasSpecifiedOutput some (constr:CellCulture and constr:satisfiesRequirement some (constr:InputSpecification and bfo:continuant_part_of_at_all_times some (constr:PlanSpecification and constr:prescribes some constr:ProductionCultureProcess))) and constr:prescribedBy some constr:RecipeProcessStage

EquivalentTo: constr:ManufacturingProcess and bfo:has_occurrent_part some constr:CellCultureExpansionProcess and constr:hasInput some constr:CellCulture and constr:hasSpecifiedOutput some (constr:CellCulture and constr:satisfiesRequirement some (constr:InputSpecification and bfo:continuant_part_of_at_all_times some (constr:PlanSpecification and constr:prescribes some 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

SubClassOf: constr:prescribedBy some constr:RecipeProcessOperation

`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

SubClassOf: constr:prescribedBy some 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”