Relation pm#spatial_relation_to_entity_with_spatial_feature (*,sumo#object)
  exclusion:  pm#relation_to_situation  pm#relation_to_time  pm#relation_to_collection  pm#relation_to_attribute_or_quality_or_measure
  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
  subtype:  pm#relation_to_spatial_object (*,pm#spatial_object)  in WebKB, prefer using relations "from" a spatial object
     subtype:  pm#relation_to_another_spatial_object (pm#spatial_object,pm#spatial_object)
        subtype:  pm#location (pm#spatial_object,pm#spatial_object)
           subtype:  pm#address__addres (pm#spatial_object -> pm#spatial_object)
              subtype:  pm#main_address (pm#spatial_object -> pm#spatial_object)
              subtype:  pm#secondary_address__secondaryaddres (pm#spatial_object -> pm#spatial_object)
           subtype:  pm#above (pm#spatial_object -> pm#spatial_object)
              subtype:  pm#on (pm#spatial_object -> pm#spatial_object)
           subtype:  pm#below (pm#spatial_object,pm#spatial_object)
           subtype:  pm#near (pm#spatial_object -> pm#spatial_object)
              subtype:  pm#touching (pm#spatial_object -> pm#spatial_object)
           subtype:  pm#far_from__farfrom (pm#spatial_object,pm#spatial_object)
           subtype:  pm#exterior__in (pm#spatial_object -> pm#spatial_object)
           subtype:  pm#interior (pm#spatial_object,pm#spatial_object)
           subtype:  pm#before_location__before (pm#spatial_object,pm#spatial_object)
        subtype:  pm#spatial_part__spatialpart (pm#spatial_object,pm#spatial_object)
           subtype:  pm#physical_part (pm#physical_entity,pm#physical_entity)
     subtype:  sumo#where_fn__wherefn (sumo#physical,sumo#time_point -> sumo#region)  maps an object and a time_point at which the object exists to the region where the object existed at that time_point
  subtype:  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#self_connected_object,sumo#object)  the relation of spatial containment for two separable objects; when the two objects are not separable (e.g., an automobile and one of its seats), the relation of part should be used; (sumo#contains ?OBJ1 ?OBJ2) means that the self_connected_object ?OBJ1 has a space (i.e. a hole) which is at least partially filled by ?OBJ2
     subtype:  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 (sumo#physical,sumo#object)  the actual, minimal location of an object