Relation sumo#partly_located__partly_located_at (physical,object)  the instance of the 1st argument is at least partially located at the 2nd argument, e.g., Istanbul is partly located in Asia and partly located in Europe
  subtype:  contains  located
  type:  binary_predicate_type  the class of predicates relating two items - its valence is two
  type:  antisymmetric_relation_type  when for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1), that is, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical; it is possible for an antisymmetric relation to be a reflexive relation
  type:  spatial_relation_type  the class of relations that are spatial in a wide sense, e.g., mereological relations and topological relation
  supertype:  spatial_relation_to_entity_with_spatial_feature (*,object)
     supertype:  relation_from/to_thing_of_common_kind (*)  this type permits to categorize relations according to their signatures and hence offers (i) a concise way to set essential exclusion relations, and (ii) a systematic and easy-to-follow categorization
        >part of:  relation__related_thing__relatedthing___related_with  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type
  supertype:  antisymmetric_relation__antisymmetricrelation (?,?)  this category only serves structuration purposes: it is instance of pm#antisymmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
     supertype:  binary_relation_with_particular_mathematical_property (?,?)
        supertype:  relation_with_particular_mathematical_property (*)
           supertype:  relation_with_particular_property (*)  this rather fuzzy type permits to group categorization schemes less common than those covered by the previous sibling categories
              >part of:  relation__related_thing__relatedthing___related_with  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type