Relation NON-TRUE-PART-OF

This is for internal parts, not sharing their whole's boundary.
Arity: 2
Subrelation-Of: Part-of
Axioms:
(=> (Non-True-Part-Of ?A ?B)
    (Not (Exists (?C ?D)
                 (And (Boundary ?B ?D)
                      (Boundary ?A ?C)
                      (Connected ?C ?D)))))