Relation INTERMEDIATE-CONTACT

An object and its complement have a so-called 'intermediate' contact: only their complements are connected. Under granularity refinement ('microscopization') this relation may not be defeasible.
Arity: 2
Domain: Localized-entity
Range: Localized-entity
Subrelation-Of: Topological-relation
Axioms:
(=> (Intermediate-Contact ?A ?B)
    (And (Exists (?C) (And (T-Complement ?A ?C) (Identity ?C ?B)))
         (Not (Connected ?A ?B))
         (Exists (?D ?E)
                 (And (T-Complement ?B ?E)
                      (T-Complement ?A ?D)
                      (Connected ?D ?E)))))