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

Scope note:

This property identifies a situation in which one instance of E2 Temporal Entity immediately follows another instance of E2 Temporal Entity.

It implies a particular order between the two entities: if A meets in time with B, then A must precede B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated).

This property is the same as the "meets / met-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).

Examples:

Early Saxon Period (E4) meets in time with Middle Saxon Period (E4).

In First Order Logic:

• AP27(x,y) ⇒ E2(x)
• AP27(x,y) ⇒ E2(y)
• AP27(x,y) ⇒ P173(x,y)
• AP27(x,y) ⇒ P182(x,y)