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

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; capability of a cooling tunnel in a candy factory to drop the product temperature and stabilize the shape, making the downstream wrapping operation possible; kneading capacity of a blender that allows for obtaining a uniform paste of plastic compound able to be extruded

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 conditions.

Formal Axioms

First-Order Logic Axioms

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

LA2:ManufacturingCapability(x) → Capability(x) ∧ ∃y((Agent(y) ∨ PieceOfEquipment(y)) ∧ capabilityOf(x,y))

Semi-Formal Natural Language Axioms

LA1: 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’

LA2: if x is a ‘manufacturing capability’ then x is a ‘capability’ that is the ‘capability of’ some ‘agent’ or some ‘piece of equipment’

Description Logic

constr:ManufacturingCapability ⊑ constr:Capability

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: 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