P185 se termine avant la fin de (se termine après la fin 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. P184 ends before or with the end of (ends with or after the end of): E2 Temporal Entity	E2_Entité_temporelle. P184_se_termine_avant_ou_au_moment_de_la_fin_de (se_termine_au_moment_ou_après_la_fin_de) : E2_Entité_temporelle
Super-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
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 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 Aend < Bend 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, during}. This property is transitive. This property is asymmetric. Figure 22: Temporal entity A ends before the end of temporal entity B. Here A is longer than B Figure 23: Temporal entity A ends before the end of temporal entity B. Here A is shorter than B	Cette propriété précise que l’étendue temporelle de l’instance du domaine (A) de E2_Entité_temporelle se termine définitivement avant la fin 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 < 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, chevauche, démarre, se déroule pendant}. Cette propriété est transitive et asymétrique. Figure 22 : L'entité temporelle A termine avant la fin de l'entité temporelle B. Ici, A est plus long que B. Figure 23 : L'entité temporelle A termine avant la fin de l'entité temporelle B. Ici, A est plus court que B.
Exemples	Godstow Abbey, Oxfordshire as a working abbey (E4 Period) ends before the end of the reign of Henry VIII (E4 Period).	L'abbaye de Godstow, dans l'Oxfordshire au Royaume-Uni, en tant qu'abbaye fonctionnelle (E4_Période) se termine avant la fin du (P185_se_termine_avant_la_fin_de) règne de Henry VIII (E4_Période)
Logique	P185(x,y) ⇒ E2(x) P185(x,y) ⇒ E2(y) P185(x,y) ⇒ P184(x,y) [P185(x,y) ∧ P185(y,z)] ⇒ P185(x,z)P185(x,y) ⇒ ¬P185(y,x)	P185(x,y) ⇒ E2(x) P185(x,y) ⇒ E2(y) P185(x,y) ⇒ P184(x,y) [P185(x,y) ∧ P185(y,z)] ⇒ P185(x,z)P185(x,y) ⇒ ¬P185(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.