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))))