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