ends before or with the start of (starts after or with the end of) – P182

P182 ends before or with the start of (starts after or with the end of)

Quantification:

0,n:0,n

Scope note:

This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends before or simultaneously with the start of the temporal extent of the range instance B of E2 Temporal Entity.

In other words, if A = [Astart, Aend] and B = [Bstart, Bend], we mean Aend ≤ Bstart 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}.

This property is transitive. This property is asymmetric.



Figure 16: Temporal entity A ends before or with the start of temporal entity B. Here A is longer than B



Figure 17: Temporal entity A ends before or with the start of temporal entity B. Here A is shorter than B

Examples:

Lerna III (E4) ends before or with the start of Lerna IV (E4). [“The site at Lerna probably was not left uninhabited for long after the destruction of the House of the Tiles and the raising of the tumulus. If there was a gap corresponding to the earliest stage of EH III in the Argolid, as has been suggested by some (see, e.g., Manning 1995: 55–60), it was a brief one. In Rutter’s view, the short life of the Fourth Settlement began ca. 2200/2150 b.c. and ended ca. 2050/2000 b.c.”] (Banks & Reese, 2013)

The use of LH I graves of Krisa in Phocis (E4) ends before or with the start of LH III phase of reuse of the graves of Krisa in Phocis (E4). [“…a possible hiatus in the occupation of certain sites such as the settlement of Krisa in Phocis, which was well occupied in the MH and LHIII periods. LHIIB pottery from this settlement has already been identified, but no certain example of LHIIA pottery.”] (Phialon 2018)

In First Order Logic:

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

Scope notes

Examples

Additional notes

Identifier: P182

Official URI: http://www.cidoc-crm.org/cidoc-crm/P182_ends_before_or_with_the_start_of
OntoME URI: https://ontome.net/ontology/p1908

Domain and range

crm:E2 Temporal Entity → P182 ends before or with the start of (starts after or with the end of) → crm:E2 Temporal Entity  (Quantifiers 0,n:0,n)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments