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

Show Scope note Language Namespace View details Comments
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 en CIDOC CRM version 7.1.2 0

Examples

Show Example Language Namespace View details Comments
Gisle taking office as Bishop of Linköping 1139 AD (E7) ends before the start of The Guta saga composition (E65). (Peel, 1999) en CIDOC CRM version 7.1.2 0
Troy VII (E4) ends before the start of Troy VIII (E4). [uninhabited for some 200 years] en CIDOC CRM version 7.1.2 0
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) en CIDOC CRM version 7.1.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

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

Label Language Last updated View details Comments
ends before the start of (starts after the end of) * en 2022-06-13 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.2 2022-06-13

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E2 Temporal Entity (0,n) P182 ends before or with the start of (starts after or with the end of) (0,n) crm:E2 Temporal Entity CIDOC CRM version 7.1.2 CIDOC CRM version 7.1.2 0

Ancestor properties

Domain Property Range Depth Property namespace
crm:E2 Temporal Entity (0,n) P173 starts before or with the end of (ends after or with the start of) (0,n) crm:E2 Temporal Entity 5 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P173 starts before or with the end of (ends after or with the start of) (0,n) crm:E2 Temporal Entity 5 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P174 starts before the end of (ends after the start of) (0,n) crm:E2 Temporal Entity 4 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P174 starts before the end of (ends after the start of) (0,n) crm:E2 Temporal Entity 4 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P175 starts before or with the start of (starts after or with the start of) (0,n) crm:E2 Temporal Entity 3 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P176 starts before the start of (starts after the start of) (0,n) crm:E2 Temporal Entity 2 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P184 ends before or with the end of (ends with or after the end of) (0,n) crm:E2 Temporal Entity 3 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P185 ends before the end of (ends after the end of) (0,n) crm:E2 Temporal Entity 2 CIDOC CRM version 7.1.2

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments