piece of equipment
IRI: https://spec.industrialontologies.org/ontology/construct/PieceOfEquipment
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: bfo:material entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › piece of equipment
Direct subclasses:
Definition
material artifact or engineered system with an equipment role
Semi-Formal Definition:
every instance of ‘piece of equipment’ is defined as exactly an instance of ‘material artifact’ or ‘engineered system’ that ‘has role’ some ‘equipment role’
Explanatory Notes
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience. Therefore, specific kinds of equipment such as machines, devices, and tools should be asserted under ‘material artifact’ or ‘engineered system’ as appropriate and not directly under ‘piece of equipment’.
Examples
- wrench when it is used in the maintenance process of a car; chromatography column that is planned to be used in a protein purification process; r truck that is used to transport goods to the buyer; single-use bioreactor when it is planned to be used in the upstream phase of a biomanufacturing process
Counter-Examples
- buffer designed to keep pH in a bioreactor constant
Formal Axioms
First-Order Logic Definition
PieceOfEquipment(x) ↔ (MaterialArtifact(x) ∨ EngineeredSystem(x)) ∧ ∃r(EquipmentRole(r) ∧ hasRole(x,r))
Description Logic
constr:PieceOfEquipment ≡ (constr:EngineeredSystem ⊔ constr:MaterialArtifact) ⊓ ∃ constr:hasRole .constr:EquipmentRole
constr:PieceOfEquipment ⊑ bfo:material_entity
EquivalentTo: (constr:EngineeredSystem or constr:MaterialArtifact) and constr:hasRole some constr:EquipmentRole
SubClassOf: bfo:material_entity