occurs simultaneously with
IRI: https://spec.industrialontologies.org/ontology/construct/occursSimultaneouslyWith
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
Range: bfo.BFO_0000015 | bfo.BFO_0000035 | bfo.BFO_0000202 | bfo.BFO_0000203
Inverse Of: occurs simultaneously with
Definition
relation that holds between two time instants when they are simultaneous or between two intervals when they have same first and last instants or between two processes or two process boundaries when their temporal extents are the same
Examples
- The rotation of the chuck in a lathe occurs simultaneously with the running of the motor.
Adapted From
- https://dl.acm.org/doi/10.1145/182.358434
Formal Axioms
First-Order Logic Axioms
LA1: occursSimultaneouslyWith(i,j) → (TemporalInstant(i) ∧ TemporalInstant(j)) ∨ (TemporalInterval(i) ∧ TemporalInterval(j)) ∨ (Process(i) ∧ Process(j)) ∧ (ProcessBoundary(i) ∧ ProcessBoundary(j))
LA2: TemporalInstant(i) ∧ TemporalInstant(j) ∧ occursSimultaneouslyWith(i,j) → ∃k∃l(TemporalInstantValueExpression(k) ∧ TemporalInstantValueExpression(l) ∧ hasValueExpressionAtAllTimes(i,k) ∧ hasValueExpressionAtAllTimes(j,l) ∧ ∃v1∃v2(hasDateTimeInstantValue(k,v1) ∧ hasDateTimeInstantValue(l,v2) ∧ (v1 = v2)))
LA3: TemporalInterval(i) ∧ TemporalInterval(j) ∧ occursSimultaneouslyWith(i,j) → ∃i1∃i2∃j1∃j2(TemporalInstant(i1) ∧ TemporalInstant(j1) ∧ TemporalInstant(i2) ∧ TemporalInstant(j2) ∧ hasFirstInstant(i,i1) ∧ hasLastInstant(i,i2) ∧ hasFirstInstant(j,j1) ∧ hasLastInstant(j,j2) ∧ occursSimultaneouslyWith(i1,j1) ∧ occursSimultaneouslyWith(i2,j2))
LA4: Process(i) ∧ Process(j) ∧ occursSimultaneouslyWith(i,j) → ∃i1∃j1(TemporalInterval(i1) ∧ TemporalInterval(j1) ∧ occupiesTemporalRegion(i,i1) ∧ occupiesTemporalRegion(j,j1) ∧ occursSimultaneouslyWith(i1,j1))
LA5: ProcessBoundary(i) ∧ ProcessBoundary(j) ∧ occursSimultaneouslyWith(i,j) → ∃i1∃j1(TemporalInstant(i1) ∧ TemporalInstant(j1) ∧ occupiesTemporalRegion(i,i1) ∧ occupiesTemporalRegion(j,j1) ∧ occursSimultaneouslyWith(i1,j1))
Semi-Formal Natural Language Axioms
LA1: if i ‘occurs simultaneously with’ j then either i and j are both ‘temporal instant’, or both are ‘temporal interval’ or both are ‘process’ or both are ‘process boundary’
LA2: If both i and j are both ‘temporal instant’ and i ‘occurs simoultaneously with’ j then ‘temporal instant value expression’ of i is equal to the ‘temporal instant value expression’ of j
LA3: If i and j are both ‘temporal interval’ and i ‘occurs simoultaneously with’ j then the ‘first instant of’ i ‘occurs simoultaneously with’ the ‘first instant of’ j and the ‘last instant of’ i ‘occurs simoultaneously with’ the ‘last instant of’ j
LA4: If both i and j are ‘process’ and i ‘occurs simoultaneously with’ j then the ‘temporal interval’ occupied by i ‘occurs simoultaneously with’ the ‘temporal interval’ occupied by j
LA5: If i and j are both ‘process boundary’ and i ‘occurs simoultaneously with’ j then the ‘temporal instant’ that i occupies ‘occurs simoultaneously with’ ‘temporal instant’ that j occupies
Description Logic
constr:occursSimultaneouslyWith ⊑ _:topObjectProperty
domain: bfo:process ⊔ bfo:process_boundary ⊔ bfo:temporal_interval ⊔ bfo:temporal_instant
range: bfo:process ⊔ bfo:process_boundary ⊔ bfo:temporal_interval ⊔ bfo:temporal_instant
inverse: constr:occursSimultaneouslyWith
Symmetric
Transitive
SubPropertyOf: _:topObjectProperty
domain: bfo:process or bfo:process_boundary or bfo:temporal_interval or bfo:temporal_instant
range: bfo:process or bfo:process_boundary or bfo:temporal_interval or bfo:temporal_instant
inverse: constr:occursSimultaneouslyWith
Symmetric
Transitive