P133 is separated from
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)
inverseOf
P133 is separated from
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)
comment
Scope note:
This symmetric pro ...... E92(y)
P133(x,y) ⊃ P133(y,x)
@en
domain
label or name
P133 is separated from
@en