Relation sumo#partly_located__partly_located_at (sumo#physical,sumo#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:  sumo#contains  sumo#located
  type:  pm#binary_predicate_type  the class of predicates relating two items - its valence is two
  type:  pm#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:  pm#spatial_relation_type  the class of relations that are spatial in a wide sense, e.g., mereological relations and topological relation
  supertype:  pm#spatial_relation_to_entity_with_spatial_feature (*,sumo#object)
     supertype:  pm#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
        supertype:  pm#relation__related_thing__relatedthing___related_with (*)  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type
  supertype:  pm#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:  pm#binary_relation_with_particular_mathematical_property (?,?)
        supertype:  pm#relation_with_particular_mathematical_property (*)
           supertype:  pm#relation_with_particular_property (*)  this rather fuzzy type permits to group categorization schemes less common than those covered by the previous sibling categories
              supertype:  pm#relation__related_thing__relatedthing___related_with (*)  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type


Simple category search: