The region where x is uniquely located: the position of something. This results as a constrained functional counterpart of 'exactly-located.
(=> (Region-Of ?A ?B) (Not (Exists (?Z) (And (Exactly-Located ?A ?Z) (Identity ?B ?Z)))))