cargo role

IRI: https://spec.industrialontologies.org/ontology/construct/CargoRole

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › cargo role

Definition

role held by a material entity when it is being transported or is planned to be transported by a carrier

Examples

• role of pallets of aluminum ingots when they are being transported on a train

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

The required constructs for providing necessary and sufficient conditions are not available in this release.

Formal Axioms

First-Order Logic Axioms

CargoRole(x) → Role(x) ∧ ∃m∃p∃c(MaterialEntity(m) ∧ TransportProcess(p) ∧ Carrier(c) ∧ participatesInAtSomeTime(m,p) ∧ agentIn(c,p) ∧ roleOf (x,m))

Semi-Formal Natural Language Axioms

if x is a ‘cargo role’ then x is a ‘role’ that is a ‘role of’ some ‘material entity’ that ‘participates in at some time’ some ‘transport process’ that ‘has agent’ some ‘carrier’

Description Logic

constr:CargoRole ⊑ bfo:role

constr:CargoRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in_at_some_time .(constr:TransportProcess ⊓ ∃ constr:hasAgent .constr:Carrier))

SubClassOf: bfo:role

SubClassOf: constr:roleOf some (bfo:material_entity and bfo:participates_in_at_some_time some (constr:TransportProcess and constr:hasAgent some constr:Carrier))