Domain:

crm:E2 Temporal Entity

Range:

crm:E2 Temporal Entity

Quantification:

0,n:0,n

Subproperty of:

• crm:E2 Temporal Entity → crm:P174 starts before the end of (ends after the start of) → crm:E2 Temporal Entity
• crm:E2 Temporal Entity → crm:P176 starts before the start of (starts after the start of) → crm:E2 Temporal Entity
• crm:E2 Temporal Entity → crm:P185 ends before the end of (ends after the end of) → crm:E2 Temporal Entity

Scope note:

This property identifies a situation in which there is an overlap between the temporal extents of two instances of E2 Temporal Entity.

It implies a temporal order between the two entities: if A overlaps in time B, then A must start before B, and B must end after A. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated).

This property is the same as the "overlaps / overlapped-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).

Examples:

The Iron Age (E4) overlaps in time with the Roman period (E4).

In First Order Logic:

• AP26(x,y) ⇒ E2(x)
• AP26(x,y) ⇒ E2(y)
• AP26(x,y) ⇒ P174(x,y)
• AP26(x,y) ⇒ P176(x,y)
• AP26(x,y) ⇒ P185(x,y)