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

Scope note:

This property identifies the situation in which the entire temporal extent of an instance of E2 Temporal Entity is within the temporal extent of another instance of E2 Temporal Entity that starts before and ends after the included temporal entity.

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

This property is transitive.

Examples:

Middle Saxon period (E4) occurs during Saxon period (E4).

In First Order Logic:

• AP25(x,y) ⇒ E2(x)
• AP25(x,y) ⇒ E2(y)
• AP25(x,y) ⇒ P176(x,y)
• AP25(x,y) ⇒ P185(x,y)