P173 commence avant ou au moment de la fin de (se termine après ou au moment du début de)

Date de création : 2020-05-03

Dernière mise à jour : 2023-05-25

Domaine	E2 Temporal Entity	E2_Entité_temporelle
Portée	E2 Temporal Entity	E2_Entité_temporelle
Sous-propriété de
Super-propriété de	E2 Temporal Entity. P174 starts before the end of (ends after the start of): E2 Temporal Entity	E2_Entité_temporelle. P174_commence_avant_la_fin_de (se_termine_après_le_début_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 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} 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.	Cette propriété spécifie que l’étendue temporelle de l’instance du domaine (A) de E2_Entité_temporelle commence avant ou simultanément avec la fin de l’étendue temporelle de l’instance de la portée (B) de E2_Entité_temporelle. En d’autres mots, si A = [Adébut, Afin] et B = [Bdébut, Bfin], alors Adébut ≤ Bfin 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, rencontré par, chevauche, démarre, démarré par, contient, finit, fini par, est égal à, durant, chevauché par}. Figure 8 : L'entité temporelle A commence avant ou au moment de la fin de l'entité temporelle B. Ici, A est plus long que B. Figure 9 : L'entité temporelle A commence avant ou au moment de la fin de l'entité temporelle B. Ici, A est plus court que B.
Exemples	The legendary run from Marathon to Athens 490BC (E7) starts before or with the end of The Battle of Marathon 490BC (E7)	La course légendaire de Marathon à Athènes de 490 AEC (E7_Activité) commence avant ou au moment de la fin de (P173_commence_avant_ou_au_moment_de_la_fin_de) la bataille de Marathon de 490 AEC (E7_Activité)
Logique	P173(x,y) ⇒ E2(x) P173(x,y) ⇒ E2(y)	P173(x,y) ⇒ E2(x) P173(x,y) ⇒ E2(y)
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.