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