loading...| Preferred Name | PieceOfEquipment | |
| Synonyms |
|
|
| Definitions |
PieceOfEquipment(x) ↔ MaterialArtifact(x) ∧ ∃r(EquipmentRole(r) ∧ hasRole(x,r)) every instance of 'piece of equipment' is defined as exactly an instance of 'material artifact' that 'has role' some 'equipment role' |
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/PieceOfEquipment |
|
| counter example |
buffer designed to keep pH in a bioreactor constant |
|
| definition |
PieceOfEquipment(x) ↔ MaterialArtifact(x) ∧ ∃r(EquipmentRole(r) ∧ hasRole(x,r)) every instance of 'piece of equipment' is defined as exactly an instance of 'material artifact' that 'has role' some 'equipment role' |
|
| explanatory note |
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' and not directly under 'piece of equipment'. |
|
| first order logic definition |
PieceOfEquipment(x) ↔ MaterialArtifact(x) ∧ ∃r(EquipmentRole(r) ∧ hasRole(x,r)) |
|
| is defined by | ||
| prefixIRI |
iof-core:PieceOfEquipment iof:PieceOfEquipment |
|
| prefLabel |
PieceOfEquipment |
|
| semi-formal natural language definition |
every instance of 'piece of equipment' is defined as exactly an instance of 'material artifact' that 'has role' some 'equipment role' |
|
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact |