ends before the start of (starts after the end of) – P183

P183 ends before the start of (starts after 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 definitely before 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 the following Allen temporal relation (Allen, 1983) : {before}.

This property is transitive. This property is asymmetric.



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



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

Examples:

Gisle taking office as Bishop of Linköping 1139 AD (E7) ends before the start of The Guta saga composition (E65). (Peel, 1999)

Troy VII (E4) ends before the start of Troy VIII (E4). [uninhabited for some 200 years]

The use of the Tomb Four from Nikitopoulou group in Nihoria in the MHIII-LHI period (E4) ends before the start of the period of reuse of the Tomb Four from Nikitopoulou group in LHIIIA (E4). [“Of the six tombs excavated in the Nikitopoulou group […] the finds in Tomb Four are of MH II or MH III-LH I date, with the exception of the finds with the Northern group of material, which is uniformly dated to LHIIA2, end the ewer in the middle of the floor, dated LHIIIA1. […] The preserved evidence seems clearly to indicate use in the MHIII-LHI use in the MHIII-LHI period followed by a period of reuse in LHIIIA, a pattern matched at architecturally similar sites such as 13:Kaminia and 10:Gouvalári.”] (Boyd, 2002)

In First Order Logic:

  • P183(x,y) ⇒ E2(x)
  • P183(x,y) ⇒ E2(y)
  • P183(x,y) ⇒ P182(x,y)

Scope notes

Examples

Additional notes

Identifier: P183

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

Domain and range

crm:E2 Temporal Entity → P183 ends before the start of (starts after 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