P133 is separated from in Version 6.2.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 extent in common.
Examples:
  •  the “Hallstatt” period (E4) is separated from the “La Tène” era (E4)
In First Order Logic:
P133(x,y) ⊃ E92(x), P133(x,y) ⊃ E92(y) ,P133(x,y) ⊃ P133(y,x)