P175 commence avant ou au moment du début de (commence 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	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
Super-propriété de	E2 Temporal Entity. P176 starts before the start of (starts after the start of): E2 Temporal Entity	E2_Entité_temporelle. P176_commence_avant_le_début_de (commence_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 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, starts, started-by, contains, finished-by, equals} In a model with fuzzy borders, this property will not be transitive. Figure 12: Temporal entity A starts before or with the start of temporal entity B. Here A is longer than Figure 13: Temporal entity A starts before or with 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 avant ou au moment du 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, démarre, démarré par, contient, fini par, est égal à} Dans un modèle avec des limites floues, cette propriété n’est pas transitive. Figure 12 : L'entité temporelle A commence avant ou au moment du début de l'entité temporelle B. Ici, A est plus long que B. Figure 13 : L'entité temporelle A commence avant ou au moment du début de l'entité temporelle B. Ici, A est plus court que B.
Exemples
Logique	P175(x,y) ⇒ E2(x) P175(x,y) ⇒ E2(y) P175(x,y) ⇒ P174(x,y)	P175(x,y) ⇒ E2(x) P175(x,y) ⇒ E2(y) P175(x,y) ⇒ P174(x,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.