Relation HAS-EVERYWHERE-INSIDE

Arity: 2
Domain: Localized-entity
Range: Substance
Axioms:
(= (Inverse Everywhere-Within) Has-Everywhere-Inside)

(<=> (Has-Everywhere-Inside ?A ?B)
     (And (Localized-Entity ?A) (Substance ?B)))