transport process
IRI: https://spec.industrialontologies.org/ontology/construct/TransportProcess
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: material location change process
Class Hierarchy
owl:Thing βΊ bfo:entity βΊ bfo:occurrent βΊ bfo:process βΊ planned process βΊ material location change process βΊ transport process
Definition
material location change process involving the movement of material entities from one location to another as part of a planned logistics process
Examples
- the process during which a truck transports shipments from a shipperβs location to a receiverβs location
Synonyms
- act of shipping
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.
There are insufficient constructs to create necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
TransportProcess(x) β MaterialLocationChangeProcess(x) β§ βe(PieceOfTransportEquipment(e) β§ hasParticipantAtSomeTime(x,e))
Semi-Formal Natural Language Axioms
if x is a βtransport processβ then x is a βmaterial location change processβ that βhas participant at some timeβ some βpiece of transport equipmentβ
Description Logic
constr:TransportProcess β constr:MaterialLocationChangeProcess
constr:TransportProcess β β bfo:has_participant_at_some_time .constr:PieceofTransportEquipment
SubClassOf: constr:MaterialLocationChangeProcess
SubClassOf: bfo:has_participant_at_some_time some constr:PieceofTransportEquipment