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

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

Quantification:

0,n:0,n

Scope note:

This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts before or simultaneously with the end 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 Astart ≤ Bend is true.

This property is part of the set of temporal primitives P173 – P176, P182 – P185.

This property corresponds to the disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, met-by, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}.

This property is not transitive.



Figure 8: Temporal entity A starts before or with the end of temporal entity B. Here A is longer than B



Figure 9: Temporal entity A starts before or with the end of temporal entity B. Here A is shorter than B

Examples:

The legendary run from Marathon to Athens 490BC (E7) starts before or with the end of The Battle of Marathon 490BC (E7).

LMIIB (E4) P173i ends after or with the start of the Tutankhamun period (1332-1323 B.C.E.) (E4). [Evidence for this is provided by the scarab seal found at Poros in a context of LMIIB. The scarab belongs to the type “nh.s n Jmn”. During the Akhenaten period he production of these scarab seals stopped (the name of Amun is not referred to during his reign). So the scarab could not have been produced before the Tutankhamun period and is probably a later production.] (Karetsou, 2000)

In First Order Logic:

  • P173(x,y) ⇒ E2(x)
  • P173(x,y) ⇒ E2(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 starts before or simultaneously with the end 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 Astart ≤ Bend is true.This property is part of the set of temporal primitives P173 – P176, P182 – P185.This property corresponds to the disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, met-by, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}.This property is not transitive. Figure 8: Temporal entity A starts before or with the end of temporal entity B. Here A is longer than B Figure 9: Temporal entity A starts before or with the end 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
The legendary run from Marathon to Athens 490BC (E7) starts before or with the end of The Battle of Marathon 490BC (E7). en CIDOC CRM version 7.1.2 0
LMIIB (E4) P173i ends after or with the start of the Tutankhamun period (1332-1323 B.C.E.) (E4). [Evidence for this is provided by the scarab seal found at Poros in a context of LMIIB. The scarab belongs to the type “nh.s n Jmn”. During the Akhenaten period he production of these scarab seals stopped (the name of Amun is not referred to during his reign). So the scarab could not have been produced before the Tutankhamun period and is probably a later production.] (Karetsou, 2000) en CIDOC CRM version 7.1.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P173

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

Domain and range

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

Labels

Label Language Last updated View details Comments
starts before or with the end of (ends after or with the start 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

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace
crm:E7 Activity (0,n) P134 continued (was continued by) (0,n) crm:E7 Activity 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 1 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 2 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 3 CIDOC CRM version 7.1.2
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 4 CIDOC CRM version 7.1.2
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 4 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P183 ends before the start of (starts after the end of) (0,n) crm:E2 Temporal Entity 5 CIDOC CRM version 7.1.2
crm:E2 Temporal Entity (0,n) P183 ends before the start of (starts after the end of) (0,n) crm:E2 Temporal Entity 5 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 2 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 3 CIDOC CRM version 7.1.2

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