Function INTERIOR

Arity: 2
Domain: Localized-entity
Range: Region
Subrelation-Of: Topological-relation
Axioms:
(=> (Interior ?A ?B)
    (And (True-Part-Of ?B ?A)
         (Not (Exists (?Z)
                      (And (Part-Of ?Z ?A) (Not (Part-Of ?Z ?B)))))))