Relation
_OPEN
Arity
:
2
Domain
:
Material-object
Subrelation-Of
:
Topological-property
Axioms:
(=> (
_Open
?A ?B) (Exists (?C ?D) (And (
T-Complement
?A ?D) (
Interior
?A ?C) (
Connected
?C ?D))))
Defined in theory:
Topology
Source code:
Topology.lisp