Domain:

crm:E2 Temporal Entity

Range:

crm:E2 Temporal Entity

Quantification:

0,n:0,n

Subproperty of:

• crm:E2 Temporal Entity → crm:P175 starts before or with the start of (starts after or with the start of) → crm:E2 Temporal Entity
• crm:E2 Temporal Entity → crm:P184 ends before or with the end of (ends with or after the end of) → crm:E2 Temporal Entity

Scope note:

This property symmetrically identifies a situation in which the starting point and the ending point for an instance of E2 Temporal Entity is equal to the starting point and the ending point of another instance of E2 Temporal Entity, respectively.

This property is only necessary if the time span is unknown (otherwise the equivalence can be calculated).

This property is the same as the "equal" relationship of Allen’s temporal logic (Allen, 1983, pp. 832-843).

This property is transitive.

Examples:

The burning of the Temple of Artemis at Ephesus (E6) is equal in time to the birth of Alexander the Great E69 [on July 6, 356 BC as reported by Plutarch in Vitae Parallelae, III, 3]. (Plutarch, 1919)

In First Order Logic:

• AP22(x,y) ⇒ E2(x)
• AP22(x,y) ⇒ E2(y)
• AP22(x,y) ⇒ P175(x,y)
• AP22(x,y) ⇒ P184(x,y)