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 4th 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)