Domain:

crm:E2 Temporal Entity

Range:

crm:E2 Temporal Entity

Quantification:

0,n:0,n

Subproperty of:

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

Superproperty 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 specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts definitely before 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^start < 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, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}

Typically, this property is a consequence of a known influence of some event on another event or activity, such as a novel written by someone being continued by someone else, or the knowledge of a defeat on a distant battlefield causing people to end their ongoing activities. This property is not transitive. This property is irreflexive.

Figure 10: Temporal entity A starts before the end of temporal entity B. Here A is longer than B

Figure 11: Temporal entity A starts before the end of temporal entity B. Here A is shorter than B

Examples:

The settling activity of the city of Assur (Ashur) (E7) starts before the end of The Tenth Dynasty of Egypt (E4). [There are some 200 - 300 years differences in the chronology of the First Intermediate Period, and Assur is dated to “about 2500 BC”.] (Pedersén, 1986)

The building of the current St. Peters in Rome (E7) starts before the end of the demolition of the old 4^th c. St. Peters (E6, E7) (Bosman, 2004)

In First Order Logic:

• P174(x,y) ⇒ E2(x)
• P174(x,y) ⇒ E2(y)
• P174(x,y) ⇒ P173(x,y)