manufacturing capability

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

Defined In: https://spec.industrialontologies.org/ontology/biopharma/ReferenceOntologyCandidates/

SubClass Of: capability

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › manufacturing capability

Direct subclasses:

• bioproduction environment capability

Definition

capability of an agent or a piece of equipment that is realizable in a manufacturing process or its part

Examples

• the capability of a technician to perform aseptic connections during a formulation procedure;the capability of a mixing vessel to achieve uniform suspension of components during buffer preparation; the capability of a fill-finish robot to accurately dispense liquid into vials

Counter-Examples

• the capability of a chromatography system to analyze protein purity during analytical method development - realizable in quality control or R&D, not in manufacturing;the capability of a liquid handling robot to automate compound dispensing during a high-throughput screening (HTS) assay in a clinical trial biomarker study

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

This class is expected to remain primitive as it is difficult to find a set of mutually necessary and sufficient set of conditions.

Formal Axioms

First-Order Logic Axioms

LA1: ManufacturingCapability(x) → Capability(x) ∧ ∃y((Agent(y) ∨ PieceOfEquipment(y)) ∧ capabilityOf(x, y)) ∧ ∀z(hasRealization(x, z) → (ManufacturingProcess(z) ∨ ∃p(ManufacturingProcess(p) ∧ occurrentPartOf(z, p))))

LA2: Capability(x) ∧ ∃y((Agent(y) ∨ PieceOfEquipment(y)) ∧ capabilityOf(x, y)) ∧ ∃z(hasRealization(x, z) ∧ (ManufacturingProcess(z) ∨ ∃p(ManufacturingProcess(p) ∧ occurrentPartOf(z, p)))) → ManufacturingCapability(x)

Semi-Formal Natural Language Axioms

LA1: if x is a ‘manufacturing capability’ then x is a ‘capability’ that is the ‘capability of’ some ‘agent’ or ‘piece of equipment’ and whenever some y ‘realizes’ x then y is a ‘manufacturing process’ or an ‘occurrent part of’ some ‘manufacturing process’

LA2: if x is a ‘capability’ and x is the ‘capability of’ some ‘agent’ or ‘piece of equipment’ and x ‘has realization’ in some ‘manufacturing process’ or in some ‘occurrent part of’ a ‘manufacturing process’, then x is a ‘manufacturing capability’

Description Logic

constr:ManufacturingCapability ⊑ constr:Capability

constr:ManufacturingCapability ⊑ ∀ bfo:has_realization .(constr:ManufacturingProcess ⊔ ∃ bfo:occurrent_part_of .constr:ManufacturingProcess)

constr:ManufacturingCapability ⊑ ∃ constr:capabilityOf .(constr:Agent ⊔ constr:PieceOfEquipment)

constr:Capability ⊓ ∃ bfo:has_realization .(constr:ManufacturingProcess ⊔ ∃ bfo:occurrent_part_of .constr:ManufacturingProcess) ⊓ ∃ constr:capabilityOf .(constr:Agent ⊔ constr:PieceOfEquipment) ⊑ constr:ManufacturingCapability

SubClassOf: constr:Capability

SubClassOf: bfo:has_realization only (constr:ManufacturingProcess or bfo:occurrent_part_of some constr:ManufacturingProcess)

SubClassOf: constr:capabilityOf some (constr:Agent or constr:PieceOfEquipment)

constr:Capability and bfo:has_realization some (constr:ManufacturingProcess or bfo:occurrent_part_of some constr:ManufacturingProcess) and constr:capabilityOf some (constr:Agent or constr:PieceOfEquipment) SubClassOf: constr:ManufacturingCapability