Relation EVERYWHERE-WITHIN

Arity: 2

Subrelation-Of: Within

Axioms:

(=> (Everywhere-Within ?A ?B)
    (Not (Exists (?Z)
                 (And (Exists (?C ?D)
                              (And (Interior ?A ?D)
                                   (Region-Of ?D ?C)
                                   (Wholly-Located ?Z ?C)))
                      (Different ?Z ?B)))))

• Defined in theory: Positions
• Source code: Positions.lisp