machine transfer process

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

Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/

SubClass Of: material location change process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › material location change process › machine transfer process

Definition

A material location change process that involves moving work-in-progress parts between different machines.

Formal Axioms

First-Order Logic Definition

MachineTransferProcess(x) ↔ PlannedProcess(x) ∧ ∃y ∃t ∃t1 ∃t2 ∃s ∃s1 ∃z ∃z1 (MaterialEntity(y) ∧ TemporalInstant(t) ∧ TemporalInstant(t1) ∧ TemporalRegion(t2) ∧ ProductionMachine(s) ∧ ProductionMachine(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

every instance of ‘machine transfer process’ is defined as exactly an instance of ‘planned process’ that ‘has participant at some time’ some ‘material entity’ and ‘occupies temporal region’ some ‘temporal region’ whose ‘first instant’ is some ‘temporal instant’ t and ‘last instant’ is some ‘temporal instant’ t1, and there exist two distinct ‘production machines’ s and s1 such that s ‘exists at’ t and s1 ‘exists at’ t1, and s is ‘located in at all times’ some ‘site’ z, s1 is ‘located in at all times’ some ‘site’ z1, and both s and s1 are ‘location of at all times’ the same ‘material entity’.

Description Logic

constr:MachineTransferProcess ≡ constr:MaterialLocationChangeProcess ⊓ ∃ bfo:has_participant_at_some_time .(bfo:material_entity ⊓ ∃ bfo:location_of_at_all_times⁻ .(constr:ProductionMachine ⊓ ∃ bfo:located_in_at_all_times .bfo:site ⊓ ∃ bfo:exists_at .(bfo:temporal_instant ⊓ (∃ bfo:first_instant_of .bfo:temporal_region ⊓ ∃ bfo:occupies_temporal_region⁻ .constr:PlannedProcess))) ⊓ ∃ bfo:location_of_at_all_times⁻ .(constr:ProductionMachine ⊓ ∃ bfo:located_in_at_all_times .bfo:site ⊓ ∃ bfo:exists_at .(bfo:temporal_instant ⊓ ∃ bfo:last_instant_of .(bfo:temporal_region ⊓ ∃ bfo:occupies_temporal_region⁻ .constr:PlannedProcess))))

constr:MachineTransferProcess ⊑ constr:MaterialLocationChangeProcess

EquivalentTo: constr:MaterialLocationChangeProcess and bfo:has_participant_at_some_time some (bfo:material_entity and inverse bfo:location_of_at_all_times some (constr:ProductionMachine and bfo:located_in_at_all_times some bfo:site and bfo:exists_at some (bfo:temporal_instant and (bfo:first_instant_of some bfo:temporal_region and inverse bfo:occupies_temporal_region some constr:PlannedProcess))) and inverse bfo:location_of_at_all_times some (constr:ProductionMachine and bfo:located_in_at_all_times some bfo:site and bfo:exists_at some (bfo:temporal_instant and bfo:last_instant_of some (bfo:temporal_region and inverse bfo:occupies_temporal_region some constr:PlannedProcess))))

SubClassOf: constr:MaterialLocationChangeProcess