P183 se termine avant le début de (commence après la fin 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. P182 ends before or at 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
Super-propriété de
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 ends 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 Aend < Bstart is true. This property is part of the set of temporal primitives P173 – P176, P182 – P185. This property corresponds to the following Allen temporal relation [Allen, 1983]: {before} This property is transitive. Figure 18: Temporal entity A ends before the start of temporal entity B. Here A is longer than B Figure 19: Temporal entity A ends 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 se termine définitivement 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 Afin < 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 à la relation temporelle définie par l’algèbre des intervalles d’Allen [Allen, 1983] : {avant} Cette propriété est transitive. Figure 18 : L'entité temporelle A termine avant le début de l'entité temporelle B. Ici, A est plus long que B. Figure 19 : L'entité temporelle A termine avant le début de l'entité temporelle B. Ici, A est plus court que B.
Exemples	Gisle taking office as Bishop of Linköping 1139 AD (E7) ends before the start of The Guta saga composition (E65) (Peel, 1999) Troy VII (E4) ends before the start of Troy VIII (E4) [uninhabited for some 200 years]	Gisle prenant ses fonctions d'évêque de Linköping en 1139 EC (E7_Activité) se termine avant le début de (P183_se_termine_avant_le_début_de) la composition de la saga Guta (E65_Création) (Peel, 1999) Troie VII (E4_Période) se termine avant le début de (P183_se_termine_avant_le_début_de) Troie VIII (E4_Période) [inhabitée depuis environ 200 ans]
Logique	P183(x,y) ⇒ E2(x) P183(x,y) ⇒ E2(y) P183(x,y) ⇒ P182(x,y) [P183(x,y) ∧ P183(y,z)] ⇒ P183(x,z)	P183(x,y) ⇒ E2(x) P183(x,y) ⇒ E2(y) P183(x,y) ⇒ P182(x,y) [P183(x,y) ∧ P183(y,z)] ⇒ P183(x,z)
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.