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

SubClassOf: constr:MaterialLocationChangeProcess

SubClassOf: bfo:has_participant_at_some_time some constr:PieceofTransportEquipment


Back to top

Copyright © 2024–2026 Open Applications Group / Industrial Ontology Foundry. Distributed under an MIT license.