Relation CONTAINS

In USN: (:or contains filled-with holds is-occupied-by); for substances mostly. Actually,
the surrounding relation for masses.
Arity: 2
Range: Substance
Subrelation-Of: Position-relation
Axioms:
(=> (Contains ?A ?B)
    (Exists (?C ?D)
            (And (Interior ?A ?C)
                 (Region-Of ?C ?D)
                 (Whole-Location-Of ?D ?B))))