Relation PARTLY-LOCATED

The partial localization: Istanbul is partly in Asia.
Arity: 2
Domain: Entity
Range: Region
Subrelation-Of: Located
Axioms:
(<=> (Partly-Located ?A ?B)
     (And (Exists (?C) (And (Part ?A ?C) (Located ?C ?B)))
          (Located ?A ?B)
          (Entity ?A)
          (Region ?B)))