Domain:

crm:E2 Temporal Entity

Range:

crm:E2 Temporal Entity

Quantification:

0,n:0,n

Subproperty of:

• 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:P184 ends before or with the end of (ends with or after the end of) → crm:E2 Temporal Entity

Scope note:

This property identifies a situation in which the ending point of an instance of E2 Temporal Entity is equal to the ending point of another temporal entity of longer duration. There is no causal relationship implied by this property.

This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "finishes / finished-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).

This property is transitive.

Examples:

Late Bronze Age (E4) finishes Bronze Age (E4).

In First Order Logic:

• AP23(x,y) ⇒ E2(x)
• AP23(x,y) ⇒ E2(y)
• AP23(x,y) ⇒ P176(x,y)
• AP23(x,y) ⇒ P184(x,y)