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

Superproperty of:

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

Scope note:

This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends before or simultaneously with the end of the temporal extent of the range instance B of E2 Temporal Entity.

In other words, if A = [A^start, A^end] and B = [B^start, B^end], we mean A^end ≤ B^end is true.

This property is part of the set of temporal primitives P173 – P176, P182 – P185.

This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, finished by, start, equals, during, finishes}.

This property is irreflexive

Figure 20: Temporal entity A ends before or with the end of temporal entity B. Here A is longer than B

Figure 21: Temporal entity A ends before or with the end of temporal entity B. Here A is shorter than B

Examples:

The reign/life of Harold II (E4) ends before or with the end of the Battle of Hastings (E7)

In First Order Logic:

• P184(x,y) ⊃ E2(x)
• P184(x,y) ⊃ E2(y)
• P184(x,y) ⊃ P174(x,y)