departure process

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

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 › departure process

Definition

material location change process that consists of the participating entity leaving its starting location such that the travel or transport process it is a part of is initiated

Examples

• the process during which a truck (loaded with a shipment) leaves the warehouse site of the shipper

Primitive Class

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

Primitive Rationale

To provide the necessary and sufficient conditions, the relationships representing Allen’s Interval Algebra elements are needed.

Formal Axioms

First-Order Logic Axioms

DepartureProcess(x) → MaterialLocationChangeProcess(x) ∧ ∃y(TravelProcess(y) ∨ TransportProcess(y)) ∧ occurrentPartOf(x,y) ∧ ∃z∃z1∃t(TemporalRegion(z) ∧ TemporalRegion(z1) ∧ TempotalInstance(t)) ∧ occupiesTemporalRegion(x,z) ∧ occupiesTemporalRegion(y,z1) ∧ firstInstanceOf(t,z1) ∧ occupiesTemporalRegion(x,t)

Semi-Formal Natural Language Axioms

if x is a ‘departure process’ then x is a ‘location change process’ that is ‘occurent part of’ some ‘transport process’ or ‘travel process’ y and that ‘occupies temporal region’ some ‘temporal region’ which has ‘first instant of’ the temporal region of y as ‘occurent part’

Description Logic

constr:DepartureProcess ⊑ constr:MaterialLocationChangeProcess

constr:DepartureProcess ⊑ ∃ bfo:occurrent_part_of .(constr:TransportProcess ⊔ constr:TravelProcess)

constr:DepartureProcess ⊑ ∃ bfo:occupies_temporal_region .∃ bfo:has_occurrent_part .∃ bfo:first_instant_of .∃ bfo:occupies_temporal_region⁻ .(constr:TransportProcess ⊔ constr:TravelProcess)

SubClassOf: constr:MaterialLocationChangeProcess

SubClassOf: bfo:occurrent_part_of some (constr:TransportProcess or constr:TravelProcess)

SubClassOf: bfo:occupies_temporal_region some bfo:has_occurrent_part some bfo:first_instant_of some inverse bfo:occupies_temporal_region some (constr:TransportProcess or constr:TravelProcess)