P183 se termine avant le début de (commence après la fin de)

Date de création : 2024-08-28

Dernière mise à jour : 2024-08-28

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 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
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], it means 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. This property is asymmetric. 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 et asymétrique. 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] The use of the Tomb Four from Nikitopoulou group in Nihoria in the MHIII-LHI period (E4) ends before the start of the period of reuse of the Tomb Four from Nikitopoulou group in LHIIIA (E4). [“Of the six tombs excavated in the Nikitopoulou group […] the finds in Tomb Four are of MH II or MH III-LH I date, with the exception of the finds with the Northern group of material, which is uniformly dated to LHIIA2, end the ewer in the middle of the floor, dated LHIIIA1. […] The preserved evidence seems clearly to indicate use in the MHIII-LHI use in the MHIII-LHI period followed by a period of reuse in LHIIIA, a pattern matched at architecturally similar sites such as 13:Kaminia and 10:Gouvalári.”] (Boyd, 2002)	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] L'usage du quatrième tombeau du groupe de Nikitopoulos à Nihoria durant les périodes helladiques moyenne (HM) et ancienne (HA) (E4_Période) se termine avant le début de (P183_se_termine_avant_le_début_de) la réutilisation du tombeau du groupe de Nikitopoulos durant la période helladique ancienne (HA III-A) (E4_Période) [« Des six tombes excavées du groupe de Nikitopoulos [...] les trouvailles de la quatrième datent des périodes helladique moyenne II (HM II) ou helladique moyenne III (HM III) à helladique ancienne I (HA I) à l'exception des trouvailles matérielles au nord qui datent uniformément de la seconde période helladique ancienne A2 (HA II-A2) et de l'aiguière trouvée au centre du sol qui date de la seconde période helladique ancienne A1 (HA II-A1). [...] Les preuves conservées indiquent clairement un usage entre la troisième période helladique moyenne (HM III) et la première période helladique ancienne (HA I), suivi par une période de réutilisation durant la troisième période helladique ancienne (HA III-A), ce qui s'aligne avec les trouvailles dans des sites architecturalement similaires tels que 13:Kamínia et 10: Gouvalári »] (Boyd, 2002).
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) ⇒ ¬P183(y,x)	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) ⇒ ¬P183(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.