production machine
IRI: https://spec.industrialontologies.org/ontology/construct/ProductionMachine
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
SubClass Of: machine
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object › material artifact › machine › production machine
Definition
machine that are used in manufacturing process as equipments.
Examples
- CNC (Computer Numerical Control) milling machines are widely used in manufacturing to precisely cut and shape various materials, including metal, plastic, and wood.
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
see primitive rationale of Machine.
Formal Axioms
First-Order Logic Axioms
∀x (Machine(x) ∧ ∃r (hasRole(x, r) ∧ EquipmentRole(r) ∧ ∀p (realizes(p, r) → ManufacturingProcess(p))) → EquipmentMachine(x))
Semi-Formal Natural Language Axioms
if x is a ‘machine’ that ‘has role’ some ‘equipment role’ and for all y, if y ‘realizes’ that role then y is a ‘manufacturing process’, then x is an ‘equipment machine’
Description Logic
constr:ProductionMachine ⊑ constr:Machine ⊓ ∃ constr:hasRole .(constr:EquipmentRole ⊓ ∀ bfo:has_realization .constr:ManufacturingProcess)
SubClassOf: owl:Thing
SubClassOf: constr:Machine and constr:hasRole some (constr:EquipmentRole and bfo:has_realization only constr:ManufacturingProcess)