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)