validation P183, #308

properties/p183.md

@@ -12,17 +12,17 @@
 > | In First Order Logic: | P183(x,y) ⇒ E2(x)<br>P183(x,y) ⇒ E2(y)<br>P183(x,y) ⇒  P182(x,y)<br>[P183(x,y) ∧ P183(y,z)] ⇒ P183(x,z)
 > | Properties: |
 
-# P183 se termine avant le début de (commence avant la fin de)
+# P183_se_termine_avant_le_début_de_(commence_après_la_fin_de)
 
 | | |
 |---|---|
 | Domaine | E2_Entité_temporelle |
 | Co-domaine | E2_Entité_temporelle |
-| Sous-propriété de | E2_Entité_temporelle. P182 se termine avant ou au début de (commence après ou en même temps que la fin de): E2_Entité_temporelle |
+| Sous-propriété de | E2_Entité_temporelle. P182_se_termine_avant_ou_en_même_temps_que_le_début_de_(commence_après_ou_en_même_temps_que_la_fin_de) : E2_Entité_temporelle |
 | Super-propriété de |  |
-| Quantification : | plusieurs à plusieurs (0,n:0,n) |
-| Note d'application : | Cette propriété spécifique que l'extension temporelle d'une instance A de E2_Entité_temporelle se termine avec certitude abant le début de l'extension temporelle de l'instance B de E2_Entité_temporelle.<br>En d'autres termes, si A = [Adébut, Afin] and B = [Bdébut, Bfin], on veut dire que Afin < Bdébut est vrai.<br>Cette propriété appartient à l'ensemble des primitives temporelles P173 – P176, P182 – P185.<br>Cette propriété correspond à la disjonction (OU en logique) de la relation temporelle d'Allen suivante:[Allen, 1983]: {avant}<br>Cette propriété est transitive.<br>Figure 18: L'entité temporelle A se termine avant le début de l'entité temporelle B. ici A est plus long que B<br>Figure 19: L'entité temporelle A se termine avant le début de l'entité temporelle B. Ici A est plus court que B  |
-| Exemples : |  • Gisle devenant Evêque de Linköping en 1139 AD (E7) se termine avant le début de la composition de la saga Guta (E65) (Peel, 1999)<br>• Troie VII (E4) se termine avant le début de Troie 8 (E4) [inhabitée pendant 200 ans environ]|
-| Logique du premier ordre: |  |
-| Propriétés: |  P183(x,y) ⇒ E2(x)<br>P183(x,y) ⇒ E2(y)<br>P183(x,y) ⇒  P182(x,y)<br>[P183(x,y) ∧ P183(y,z)] ⇒ P183(x,z)|
+| Quantification : | plusieurs-à-plusieurs (0,n:0,n) |
+| Note d'application : | Cette propriété spécifie que l'extension temporelle d'une instance A de E2_Entité_temporelle se termine avec certitude avant le début de l'extension temporelle de l'instance B de E2_Entité_temporelle.<br>En d'autres termes, si A = [Adébut, Afin] and B = [Bdébut, Bfin], on veut dire que Afin < Bdébut est vrai.<br>Cette propriété appartient à l'ensemble des primitives temporelles P173 – P176, P182 – P185.<br>Cette propriété correspond à la relation temporelle d'Allen suivante :[Allen, 1983] : {avant}<br>Cette propriété est transitive.<br>Figure 18 : L'entité temporelle A se termine avant le début de l'entité temporelle B. ici A est plus long que B<br>Figure 19 : L'entité temporelle A se termine avant le début de l'entité temporelle B. Ici A est plus court que B |
+| Exemples : | Gisle devenant Évêque de Linköping en 1139 AD (E7) se termine avant le début de la composition de la saga Guta (E65) (Peel, 1999)<br>Troie VII (E4) se termine avant le début de Troie VIII (E4) [inhabitée pendant 200 ans environ]|
+| Logique du premier ordre : |  |
+| Propriétés : |  P183(x,y) ⇒ E2(x)<br>P183(x,y) ⇒ E2(y)<br>P183(x,y) ⇒  P182(x,y)<br>[P183(x,y) ∧ P183(y,z)] ⇒ P183(x,z)|