starts before the start of (starts after the start of) – P176

P176 starts before the start of (starts after the start of)

Domain:

crm:E2 Temporal Entity

Range:

crm:E2 Temporal Entity

Quantification:

0,n:0,n

Subproperty of:

Superproperty of:

Scope note:

This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts 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 Astart < 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, overlaps, contains, finished-by}. This property is transitive. This property is asymmetric.



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



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

Examples:

The reign of King Harold II (E4) starts before the start of the Battle of Hastings (E7). (Wikipedia 2022a)

The life of Attila “the Hun” (E4) starts before the start of the Battle of the Catalaunian Plains (E7). [June 20, 451 AD] (Wikipedia 2022b)

In First Order Logic:

  • P176(x,y) ⇒ E2(x)
  • P176(x,y) ⇒ E2(y)
  • P176(x,y) ⇒ P175(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 starts 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 Astart < 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, overlaps, contains, finished-by}. This property is transitive. This property is asymmetric. Figure 14: Temporal entity A starts before the start of temporal entity B. Here A is longer than B Figure 15: Temporal entity A starts before the start of temporal entity B. Here A is shorter than B en CIDOC CRM version 7.1.3 0
Cette propriété spécifie que l'étendue temporelle de l'instance du domaine (A) de E2_Entité_temporelle, commence de manière certaine avant le début de l'étendue temporelle de l'instance de la portée (B) de E2_Entité_temporelle.En d'autres termes, si A =[Adébut, Afin] et B = [Bdébut, Bfin], alors Adébut < Bdébut est vrai. Cette propriété fait partie de l'ensemble des propriétés temporelles P173 à P176 et P182 à P185. Cette propriété correspond à une disjonction (OU logique) des relations définies par l'algèbre des intervalles d'Allen suivantes [Allen, 1983] : {se déroule avant, rencontre, chevauche, contient, fini par}. Cette propriété est transitive et asymétrique.Figure 14 : L'entité temporelle A commence avant le début de l'entité temporelle B. Ici, A est plus long que B.Figure 15 : L'entité temporelle A commence avant le début de l'entité temporelle B. Ici, A est plus court que B. fr CIDOC CRM version 7.1.3 0

Examples

Show Example Language Namespace View details Comments
The reign of King Harold II (E4) starts before the start of the Battle of Hastings (E7). (Wikipedia 2022a) en CIDOC CRM version 7.1.3 0
The life of Attila “the Hun” (E4) starts before the start of the Battle of the Catalaunian Plains (E7). [June 20, 451 AD] (Wikipedia 2022b) en CIDOC CRM version 7.1.3 0
Le règne du roi Harold II (E4_Période) commence avant le début de (P176_commence_avant_le_début_de) la bataille de Hastings (E7_Activité) (Wikipédia 2022a) fr CIDOC CRM version 7.1.3 0
La vie de Attila le Hun (E4_Période) commence avant le début de (P176_commence_avant_le_début_de) la bataille des champs Catalauniques [20 juin 451 EC] (E7_Activité) (Wikipédia 2022b) fr CIDOC CRM version 7.1.3 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P176

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

Domain and range

crm:E2 Temporal Entity → P176 starts before the start of (starts after the start of) → crm:E2 Temporal Entity  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
starts before the start of (starts after the start of) * en 2022-06-13 0
commence avant le début de (commence après le début de) * fr 2024-03-21 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.3 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) P175 starts before or with the start of (starts after or with the start of) (0,n) crm:E2 Temporal Entity CIDOC CRM version 7.1.3 CIDOC CRM version 7.1.3 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 3 CIDOC CRM version 7.1.3
crm:E2 Temporal Entity (0,n) P174 starts before the end of (ends after the start of) (0,n) crm:E2 Temporal Entity 2 CIDOC CRM version 7.1.3

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 1 CIDOC CRM version 7.1.3
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 1 CIDOC CRM version 7.1.3
crm:E2 Temporal Entity (0,n) P183 ends before the start of (starts after the end of) (0,n) crm:E2 Temporal Entity 2 CIDOC CRM version 7.1.3

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