transport equipment role
IRI: https://spec.industrialontologies.org/ontology/construct/TranspoortEquipmentRole
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: equipment role
Class Hierarchy
owl:Thing βΊ bfo:entity βΊ bfo:continuant βΊ bfo:specifically dependent continuant βΊ bfo:realizable entity βΊ bfo:role βΊ equipment role βΊ transport equipment role
Definition
equipment role held by a material artifact when it is planned to be involved in or is involved in carrying out some part of a transport process
Examples
- role of my car that is used to transport goods to the buyer, role of a mobile robot that navigates factory floors independently to transport materials
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to define necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
TransportEquipmentRole(x) β Role(x) β§ βmβp(MaterialEntity(m) β§ TransportProcess(p) β§ participatesInAtSomeTime(m,p) β§ roleOf (x,m))
Semi-Formal Natural Language Axioms
if x is a βtransport equipment roleβ then x is a βroleβ that is a βrole ofβ some βmaterial entityβ that βparticipates in at some timeβ some βtransport processβ
Description Logic
SubClassOf: constr:EquipmentRole