Scope note: This symmetric property allows the instances of E53 Place with overlapping geometric extents to be associated with each other. It does not specify anything about the shared area. This property is purely spatial, in contrast to Allen operators, which are purely temporal. Examples: - the territory of the United States (E53) overlaps with the Arctic (E53) In First Order Logic: P121(x,y) ⊃ E53(x) P121(x,y) ⊃ E53(y) P121(x,y) ⊃ P121(y,x)
Attributes | Values |
---|---|
type | |
inverseOf | |
label |
|
domain | |
range | |
comment |
|
notation |
|
is inverseOf of |