Relation sumo#located (sumo#physical,sumo#object)  the 1st argument is partly_located at the object, and there is no part or sub_process of the 1st argument that is not located at the object
  subtype:  sumo#exactly_located  the actual, minimal location of an object
  related_to:  sumo#time
  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#transitive_relation_type  a binary_relation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3
  supertype:  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
     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
  supertype:  pm#transitive_relation (?,?)  this category only serves structuration purposes: it is instance of pm#transitive_relation_type which is not instance of pm#class_of_inheritable_relation_type
     supertype:  pm#binary_relation_with_particular_mathematical_property (?,?)


Simple category search: