Relation GENERICALLY-LOCATED

The general case: part of something is located at part of something.
Arity: 2
Range: Region
Subrelation-Of: Located
Axioms:
(<=> (Generically-Located ?A ?B)
     (And (Located ?A ?B)
          (Exists (?C ?D)
                  (And (Part ?A ?C) (Located ?C ?D) (Part-Of ?D ?B)))
          (Region ?B)))