travel process
IRI: https://spec.industrialontologies.org/ontology/construct/TravelProcess
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 › travel process
Definition
material location change process wherein one or more persons move between geographical locations
Examples
- the process of travelling from New York to Philadelphia by train
Adapted From
- http://www.ontologyrepository.com/CommonCoreOntologies/Mid/EventOntology
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.
Formal Axioms
First-Order Logic Axioms
TravelProcess(x) → MaterialLocationChangeProcess(x) ∧ ∃y∃t∃t1∃t2∃s∃s1∃z∃z1((Person(y) ∨ GroupOfPersons(y)) ∧ TemporalInstant(t) ∧ TemporalInstant(t1) ∧ TemporalRegion(t2) ∧ IndependentContinuant(s) ∧ IndependentContinuant(s1) ∧ Site(z) ∧ Site(z1) ∧ hasParticipantAtSomeTime(x,y) ∧ firstInstantOf(t,t2) ∧ lastInstantOf(t1,t2) ∧ occupiesTemporalRegion(x,t2) ∧ existsAt(s,t) ∧ existsAt(s1,t1) ∧ locatedInAtalltimes(s,z) ∧ locatedInAtAlltimes(s1,z1) ∧ locationOfAtAlltimes(s,y) ∧ locationOfAtAllTimes(s1,y))
Semi-Formal Natural Language Axioms
if x is a ‘material location change process’ then x is a ‘planned process’ in which a ‘person’ or a ‘group of persons’ is moved from one ‘site’ to another