Relation IS-BOUNDARY-OF

Arity: 2
Axioms:
(= (Inverse Boundary) Is-Boundary-Of)