P133 est distinct spatio-temporellement de

Date de création : 2024-08-28

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

Domaine	E92 Spacetime Volume	E92_Volume_spatio-temporel
Portée	E92 Spacetime Volume	E92_Volume_spatio-temporel
Sous-propriété de
Super-propriété de
Quantification	many to many (0,n:0,n)	plusieurs à plusieurs (0,n:0,n)
Note d’application	This symmetric property associates two instances of E92 Spacetime Volume that have no extents in common. If only the fuzzy boundaries of the instances of E92 Spacetime Volume overlap, this property cannot be determined from observation alone and therefore should not be applied. However, there may be other forms of justification that the two instances of E92 Spacetime Volume must not have any of their extents in common regardless of where and when precisely. If this property holds for two instances of E92 Spacetime Volume then it cannot be the case that P132 spatiotemporally overlaps with also holds for the same two instances. Furthermore, there are cases where neither P132 spatiotemporally overlaps with nor P133 is spatiotemporally separated from holds between two instances of E92 Spacetime Volume. This would occur where only an overlap of the fuzzy boundaries of the two instances of E92 Spacetime Volume occurs and no other evidence is available. This property is not transitive. This property is symmetric. This property is irreflexive.	Cette propriété symétrique associe deux instances de E92_Volume_spatio-temporel qui n’ont pas d’étendue en commun. Si le recoupement ne concerne que les limites floues des instances de E92_Volume_spatio-temporel, la propriété P133_est_distinct_spatio-temporellement_de ne peut être déterminée par la seule observation et ne devrait donc pas être utilisée. Cependant, certaines situations peuvent justifier que les deux instances de E92_Volume_spatio-temporel ne partagent aucune de leur étendue, sans qu’il soit nécessaire de préciser où et quand. Si cette propriété s’applique à deux instances de E92_Volume_spatio-temporel, alors il n’est pas possible que ces deux instances soient aussi reliées par la propriété P132_recoupe_spatio-temporellement. De plus, il existe des cas où ni la propriété P132_recoupe_spatio-temporellement ni la P133_est_distinct_spatio-temporellement_de ne peut s’appliquer entre deux instances de E92_Volume_spatio-temporel. Cela se produit lorsque les limites floues des deux instances se recoupent et qu’aucune autre indication quant à la temporalité n’est disponible. Cette propriété n’est pas transitive, mais elle est symétrique et irréflexive.
Exemples	The “Hallstatt” period (E4) is spatiotemporally separated from the “La Tène” era (E4). (Marion, 2004) Kingdom of Greece (1831-1924) (E92) is spatiotemporally separated from Ottoman Empire (1299-1922) (E92). The path of the army of Alexander the Great (335-323 B.C.) (E7) is spatiotemporally separated from the Mauryan Empire (E4). (Lane Fox, 2004)	La période de la Hallstatt (E4_Période) est distincte spatio-temporellement de (P133_est_distinct_spatio-temporellement_de) l’ère de La Tène (E4_Période) (Marion, 2004) Le royaume de Grèce (1831-1924) (E92_Volume_spatio-temporel) est distinct spatio-temporellement de (P133_est_distinct_spatio-temporellement_de) l’Empire ottoman (1299-1922) (E92_Volume_spatio-temporel) Le parcours de l'armée d'Alexandre (335-323 AEC) (E7_Activité) est distinct spatio-temporellement de (P133_est_distinct_spatio-temporellement_de) l'Empire maurya (environ 321 à 185 AEC) (E4_Période) (Lane Fox, 2004)
Logique	P133(x,y) ⇒ E92(x) P133(x,y) ⇒ E92(y) P133(x,y) ⇒ P133(y,x) P133(x,y) ⇒ ¬P133 (x,y) ¬P133(x,x)	P133(x,y) ⇒ E92(x) P133(x,y) ⇒ E92(y) P133(x,y) ⇒ P133(y,x) P133(x,y) ⇒ ¬P133 (x,y) ¬P133(x,x)
Propriétés
Note de traduction
Références