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 in which material entities are moved from one location to another by a material artifact or engineered system bearing a means of transport role, as part of a planned logistics process

Explanatory Notes

A transport process requires an artifact bearing a means of transport role; it does not require a separate artifact bearing a transport equipment role. The same artifact may bear both, as a tanker does.
This class is neutral about what is moved; freight is covered by cargo role. Transportation between trading parties’ locations, as distinct from movement within a site, is supply chain transport process, which has a transport process as a part.

Examples

the process during which a truck transports shipments from a shipper’s location to a receiver’s location; the process during which crude oil is conveyed through a pipeline from a terminal to a refinery; a freight train carrying grain from an elevator to a port

Synonyms

act of shipping

Primitive Class

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

Primitive Rationale

Necessary and sufficient conditions would require distinguishing transport from other material location change processes by the relation between the moved entity and the means of transport, for which no construct is available in this release.

Formal Axioms

First-Order Logic Axioms

TransportProcess(p) → MaterialLocationChangeProcess(p) ∧ ∃r (MeansOfTransportRole(r) ∧ realizes(p,r))

Semi-Formal Natural Language Axioms

if x is a ‘transport process’ then x is a ‘material location change process’ that ‘realizes’ some ‘means of transport role’

Description Logic

constr:TransportProcess ⊑ constr:MaterialLocationChangeProcess

constr:TransportProcess ⊑ ∃ bfo:realizes .constr:MeansOfTransportRole

SubClassOf: constr:MaterialLocationChangeProcess

SubClassOf: bfo:realizes some constr:MeansOfTransportRole