Relation HAS-SOMEWHERE-INSIDE

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

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