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 with a truck transports shipments from a shipper’s location to a rceiver’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 .constr:PieceofTransportEquipment

SubClassOf: constr:MaterialLocationChangeProcess

SubClassOf: bfo:has_participant some constr:PieceofTransportEquipment