Relation SOMEWHERE-WITHIN

Arity: 2

Subrelation-Of: Within

Axioms:

(=> (Somewhere-Within ?A ?B)
    (Exists (?Z)
            (And (Exists (?C ?D)
                         (And (Interior ?A ?D)
                              (Region-Of ?D ?C)
                              (Part-Of ?Z ?C)))
                 (Not (Generically-Located ?A ?Z)))))

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