P176 commence avant le début de (commence après le début de)

Date de création : 2023-11-08

Dernière mise à jour : 2023-12-22

Domaine	E2 Temporal Entity	E2_Entité_temporelle
Portée	E2 Temporal Entity	E2_Entité_temporelle
Sous-propriété de	E2 Temporal Entity. P175 starts before or with the start of (starts after or with the start of): E2 Temporal Entity	E2_Entité_temporelle. P175_commence_avant_ou_au_moment_du_début_de (commence_après_ou_au_moment_du_début_de) : E2_Entité_temporelle
Super-propriété de	E7 Activity. P134 continued (was continued by): E7 Activity E2 Temporal Entity. P182 ends before or with the start of (starts after or with the end of): E2 Temporal Entity	E2_Entité_temporelle. P182_se_termine_avant_ou_au_moment_du_début_de (commence_après_ou_au_moment_de_la_fin_de) : E2_Entité_temporelle
Quantification	many to many (0,n:0,n)	plusieurs à plusieurs (0,n:0,n)
Note d’application	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	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.
Exemples	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 [June 20, 451 AD] (Wikipedia 2022b)	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) 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)
Logique	P176(x,y) ⇒ E2(x) P176(x,y) ⇒ E2(y) P176(x,y) ⇒ P175(x,y) [P176(x,y) ∧ P176(y,z)] ⇒ P176(x,z) P176(x,y) ⇒ ¬P176(y,x)	P176(x,y) ⇒ E2(x) P176(x,y) ⇒ E2(y) P176(x,y) ⇒ P175(x,y) [P176(x,y) ∧ P176(y,z)] ⇒ P176(x,z) P176(x,y) ⇒ ¬P176(y,x)
Propriétés
Note de traduction
Références	Wikipédia. « Algèbre des intervalles d’Allen ». Dans Wikipédia. San Francisco, US-CA: Wikipédia, 14 janvier 2021. https://fr.wikipedia.org/wiki/Alg%C3%A8bre_des_intervalles_d%27Allen.