> | Superproperty of: | E7 Activity. P134 continued (was continued by): E7 Activity<br>E2 Temporal Entity. P175 starts before or with the start of (starts after or with the start of): E2 Temporal Entity<br>E2 Temporal Entity. P184 ends before or with the end of (ends with or after the end of): E2 Temporal Entity
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts definitely before the end of the temporal extent of the range instance B of E2 Temporal Entity. <br>In other words, if A = [Astart, Aend] and B = [Bstart, Bend], we mean Astart < Bend is true.<br>This property is part of the set of temporal primitives P173 – P176, P182 – P185.<br>This property corresponds to a disjunction (logical OR) of the following Allen temporal relations [Allen, 1983]: {before, meets, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}<br>Typically, this property is a consequence of a known influence of some event on another event or activity, such as a novel written by someone being continued by someone else, or the knowledge of a defeat on a distant battlefield causing people to end their ongoing activities. This property is not transitive.<br>Figure 10: Temporal entity A starts before the end of temporal entity B. Here A is longer than B<br>Figure 11: Temporal entity A starts before the end of temporal entity B. Here A is shorter than B
> | Examples: | • The settling activity of the city of Assur (Ashur) (E7) starts before the end of The Tenth Dynasty of Egypt. (E4) [There are some 200 - 300 years differences in the chronology of the First Intermediate Period, and Assur is dated to "about 2500 BC”] (Pedersen, 1986)
> | Examples: | • The settling activity of the city of Assur (Ashur) (E7) starts before the end of The Tenth Dynasty of Egypt. (E4) [There are some 200 - 300 years differences in the chronology of the First Intermediate Period, and Assur is dated to "about 2500 BC”] (Pedersen, 1986)<br>The building of the current St. Peters in Rome (E7) starts before the end of the demolition of the old 4th c. St. Peters (E6, E7) (Bosman, 2004) |
> | In First Order Logic: | P174(x,y) ⇒ E2(x)<br>P174(x,y) ⇒ E2(y)<br>P174(x,y) ⇒ P173(x,y)
| Sous-propriété de | |E2_Entité_temporelle. P173commenceavantou à lafinde(setermineaprèsouaudébutde): E2_Entité_temporelle
| Sous-propriété de | |E2_Entité_temporelle. P173_commence_avant_ou_à_la_fin_de_(se_termine_après_ou_au_début_de): E2_Entité_temporelle
| Super-propriété de | E7_Activité. P134_a_continué_(a_été_continué_par): E7_Activité<br>E2_Entité_temporelle. P175 commence avant ou au début de (commence après ou au début de): E2_Entité_temporelle<br>E2_Entité_temporelle. P184 se termine avant ou à la fin de (se termine à ou après la fin de): E2_Entité_temporelle |
| Note d'application : | Cette propriété spécifie que l'extension temporelle d'une instance A de E2_Entité_temporelle commence avec certitude avant la fin de l'extension temporelle d'une instance B de E2_Entité_temporelle.<br>En d'autres termes, si A = [Adébut, Afin] et B = [Bdébut, Bfin],on veut dire que Adébut <Bfinestvrai.<br>Cette propriété appartient à l'ensemble des primitives temporelles P173 – P176, P182 – P185.<br>Cette propriété correspond à la disjonction (OU en logique) des relations temporelles d'Allen suivantes [Allen, 1983]: {avant, rencontre, recouvre, commence, commencé par, contient, termine, terminé par, égale, pendant, recouvert par}<br>Généralement, cette propriété est la conséquence d'une influence connue d'un événement sur un autre événement ou activité, comme par exemple une nouvelle écrite par quelqu'un et continuée par quelqu'un d'autre. Autre exemple: la connaissance d'une défaite sur un champ de bataille éloigné qui conduit les gens à arrêter ce qu'ils étaient en train de faire. Cette propriété n'est pas transitive.<br>Figure 10: l'entité temporelle A commence avant la fin de l'entité temporelle B. Ici A est plus long que B<br>Figure 11: l'entité temporelle A commence avant la fin de l'entité temporelle B. Ici A est plus court que B |
| Exemples : | • L'activité d'implantation de la cité d'Assour (Ashur) (E7) commence avant la fin de la dixième Dynastie d'Egypte. (E4) [Il y a environ 200 ou 300 ans de différence dans la chronologie de la première période intermédiaire, et Assour est datée de "2500 environ"] (Pedersen, 1986) |
| Note d'application : | Cette propriété spécifie que l'extension temporelle d'une instance A de E2_Entité_temporelle commence avec certitude avant la fin de l'extension temporelle d'une instance B de E2_Entité_temporelle.<br>En d'autres termes, si A = [Adébut, Afin] et B = [Bdébut, Bfin],on veut dire que Adébut <Bfinestvrai.<br>Cette propriété appartient à l'ensemble des primitives temporelles P173 – P176, P182 – P185.<br>Cette propriété correspond à la disjonction (OU en logique) des relations temporelles d'Allen suivantes [Allen, 1983]: {avant, rencontre, recouvre, commence, commencé par, contient, termine, terminé par, égale, pendant, recouvert par}<br>Généralement, cette propriété est la conséquence d'une influence connue d'un événement sur un autre événement ou activité, comme par exemple une nouvelle écrite par quelqu'un et continuée par quelqu'un d'autre. Autre exemple: la connaissance d'une défaite sur un champ de bataille éloigné qui conduit les gens à arrêter ce qu'ils étaient en train de faire. Cette propriété n'est pas transitive.<br>Figure 10: l'entité temporelle A commence avant la fin de l'entité temporelle B. Ici A est plus long que B<br>Figure 11: l'entité temporelle A commence avant la fin de l'entité temporelle B. Ici A est plus court que B |
| Exemples : | L'activité d'implantation de la cité d'Assour (Ashur) (E7) commence avant la fin de la dixième Dynastie d'Egypte. (E4) [Il y a environ 200 ou 300 ans de différence dans la chronologie de la première période intermédiaire, et Assour est datée de "2500 environ"] (Pedersen, 1986)<br>La construction de l'actuelle édifice Saint-Pierre de Rome (E7) commence avant la fin de la démolition de l'ancienne édifice Saint-Pierre du IVe siècle (E6, E7) (Bosman, 2004). |
| Logique du premier ordre: | P174(x,y) ⇒ E2(x)<br>P174(x,y) ⇒ E2(y)<br>P174(x,y) ⇒ P173(x,y) |
