shipment role

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

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

SubClass Of: traceable resource unit role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › traceable resource unit role › shipment role

Definition

traceable resource unit role held by material entities when they undergo the same dispatch and receipt processes as prescribed by a bill of lading

Examples

• role held by a shipment of 5 Toyota Rav4s on an auto transport trailer that are intended to be delivered to a Toyota dealership

Primitive Class

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

Primitive Rationale

The required constructs for creation of a formal definition are not available in this release.

Formal Axioms

First-Order Logic Axioms

ShipmentRole(x) → TraceableResouceUnitRole(x) ∧ ∃m∃p(MaterialEntity(m) ∧ ShipmentPreparationProcess(p)) ∧ outputOf(m,p) ∧ roleOf(x,m) ∧ ∀y(hasRealization(x,y) → TransportProcess(y))

Semi-Formal Natural Language Axioms

if x is a ‘shipment role’ then x is a ‘traceable resource unit role’ that is the ‘role of’ some ‘material entity’ that is the ‘output of’ some ‘shipment preparation process’ and whenever x ‘has realization’ y that y must be a ‘transpot process’

Description Logic

constr:ShipmentRole ⊑ constr:TraceableResourceUnitRole

constr:ShipmentRole ⊑ ∀ bfo:has_realization .constr:TransportProcess

constr:ShipmentRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ constr:isOutputOf .constr:ShipmentPreparationProcess)

SubClassOf: constr:TraceableResourceUnitRole

SubClassOf: bfo:has_realization only constr:TransportProcess

SubClassOf: constr:roleOf some (bfo:material_entity and constr:isOutputOf some constr:ShipmentPreparationProcess)