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:

piece of transport equipment

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