meets
IRI: https://spec.industrialontologies.org/ontology/construct/meets
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
SubProperty Of: bfo:precedes
Range: bfo.BFO_0000015 | bfo.BFO_0000202
Inverse Of: met by
Definition
relation that holds between two intervals or processes i and j when the last instant of the temporal extent of i is the same as the first instant of the temporal extent of j
Examples
- When an item is placed on a moving conveyor by a robotic arm, the process of placing the item meets the process of moving the item; summer meets fall; January meets February; the Christmas holiday period meets New Year’s holiday period.
Adapted From
- https://dl.acm.org/doi/10.1145/182.358434
Formal Axioms
First-Order Logic Axioms
LA1: meets(i,j) → (TemporalInterval(i) ∧ TemporalInterval(j)) ∨ (Process(i) ∧ Process(j))
LA2: TemporalInterval(i) ∧ TemporalInterval(j) ∧ meets(i,j) → ∃i1∃j1(TemporalInstant(i1) ∧ TemporalInstant(j1) ∧ hasLastInstant(i,i1) ∧ hasFirstInstant(j,j1) ∧ occursSimultaneouslyWith(i1,j1))
LA3: Process(i) ∧ Process(j) ∧ meets(i,j) → ∃i1∃j1(TemporalInterval(i1) ∧ TemporalInterval(j1) ∧ occupiesTemporalRegion(i,i1) ∧ occupiesTemporalRegion(j,j1) ∧ meets(i1,j1))
Semi-Formal Natural Language Axioms
LA1: If i ‘meets’ j then either both are ‘temporal intervals’ or both are ‘process’
LA2: If both i and j are ‘temporal intervals’ and i ‘meets’ j then the ‘last instant of’ i ‘occurs simultaneously with’ the ‘first instant of’ j
LA3: If both i and j are ‘process’ and i ‘meets’ j then the ‘temporal interval’ that i occupies ‘meets’ the ‘temporal interval’ that j occupies
Description Logic
constr:meets ⊑ bfo:precedes
domain: bfo:process ⊔ bfo:temporal_interval
range: bfo:process ⊔ bfo:temporal_interval
inverse: constr:metBy
SubPropertyOf: bfo:precedes
domain: bfo:process or bfo:temporal_interval
range: bfo:process or bfo:temporal_interval
inverse: constr:metBy