is temporally overlapped by

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

Range: bfo.BFO_0000015 | bfo.BFO_0000202

Inverse Of: temporally overlaps

Definition

relation that holds between two intervals and processes i and j when the first instant of the temporal extent of j is earlier than and the last instant of the temporal extent of j is later than the first instant of the temporal extent of i, and the last instance of the temporal extent of j is earlier than the last instant of the temporal extent of i

Examples

• When two plates are being welded at a joint, the heating of current point being welded is temporally overlapped by the cooling of a previously welded point; the receiving process is temporally overlapped by the sending process in a transaction process; Sumerian civilization (c. 3500 BCE - c. 2000 BCE) in Mesopotamia was temporally overlapped by Ancient Egyptian civilization (c. 3000 BCE - 30 BCE).

Adapted From

• https://dl.acm.org/doi/10.1145/182.358434

Formal Axioms

First-Order Logic Axioms

isTemporallyOverlappedBy(x,y) ↔ temporallyOverlaps(y,x)

Semi-Formal Natural Language Axioms

‘is temporally overlapped by’ and ‘temporally overlaps’ are inverse relations

Description Logic

constr:isTemporallyOverlappedBy ⊑ _:topObjectProperty

domain: bfo:process ⊔ bfo:temporal_interval

range: bfo:process ⊔ bfo:temporal_interval

inverse: constr:temporallyOverlaps

SubPropertyOf: _:topObjectProperty

domain: bfo:process or bfo:temporal_interval

range: bfo:process or bfo:temporal_interval

inverse: constr:temporallyOverlaps