P133 is spatiotemporally separated from in version 7.1

Domain:
E92 Spacetime Volume
Range:
E92 Spacetime Volume
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
many to many (0,n:0,n)
Scope Note:
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 withalso holds for the same two instances. Furthermore, there are cases where neither P132 spatiotemporally overlaps withnor P133 is spatiotemporally separated fromholds 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

 

Examples:

  • 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 fromOttoman Empire (1299-1922) (E92)

  • The path of the army of Alexander (335-323 B.C.) (E92) is spatiotemporally separated fromthe Mauryan Empire (E92) (Lane Fox, 2004)

In First Order Logic:
P133(x,y) ⇒ E92(x), P133(x,y) ⇒ E92(y) ,P133(x,y) ⇒ P133(y,x)