Relation pm#spatial_relation_from_entity_with_spatial_feature (sumo#object,*)
  exclusion:  pm#relation_from_situation  pm#relation_from_collection  pm#relation_from_description_content/medium/container  pm#relation_from_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_from_spatial_object (pm#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:  pm#facility (pm#spatial_object,?)
  subtype:  sumo#front_fn__frontfn (sumo#self_connected_object -> sumo#self_connected_object)  a function that maps an object to the side that generally receives the most attention or that typically faces the direction in which the object moves; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
  subtype:  sumo#back_fn (sumo#self_connected_object -> sumo#self_connected_object)  a function that maps an object to the side that is opposite the front_fn of the object; note that this is a partial function, since some objects do not have sides, e.g., apples and spheres; note too that the range of this function is indefinite in much the way that immediate_future_fn and immediate_past_fn are indefinite; although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases
  subtype:  sumo#traverses__traverse (sumo#object,sumo#object)  the first object crosses or extends across the second; note that crosses and penetrates are subrelations of traverses
     subtype:  sumo#crosses__crosse (sumo#object,sumo#object)  the 1st object traverses the second without being connected to it
     subtype:  sumo#penetrates (sumo#object,sumo#object)  the 1st object is connected to the second along at least one whole dimension (length, width or depth)
  subtype:  sumo#distance (sumo#object,*)
  subtype:  sumo#larger (sumo#object,*)
  subtype:  sumo#smaller (sumo#object,*)
  subtype:  sumo#connected (sumo#object,*)
  subtype:  sumo#connects (sumo#object,*)
  subtype:  sumo#mereological_sum_fn (sumo#object,*)
  subtype:  sumo#mereological_product_fn (sumo#object,*)
  subtype:  sumo#mereological_difference_fn (sumo#object,*)
  subtype:  sumo#hole (sumo#object,*)
  subtype:  sumo#hole_host_fn (sumo#object,*)
  subtype:  sumo#partially_fills__partiallyfill (sumo#object,*)
  subtype:  sumo#hole_skin_fn (sumo#object,*)
  subtype:  sumo#orientation (sumo#object,*)
  subtype:  sumo#between (sumo#object,sumo#object,sumo#object)  the second object is (directly) spatially located between the other two (the projections of which overlap with the second object)
  subtype:  sumo#part__part_of (sumo#object,sumo#object)  this type should have been name sumo#part_of to respect the common reading conventions of parameters; all other mereological relations are defined in terms of this one; it means that the 1st argument is part of the 2nd; note that, since part is a reflexive_relation, every object is a part of itself
     subtype:  sumo#proper_part__proper_part_of (sumo#object,sumo#object)  the 1st argument is part of the 2nd but is not it; this is a transitive_relation and asymmetric_relation (hence an irreflexive_relation)
     subtype:  sumo#piece__piece_of__pieceof (sumo#substance,sumo#substance)  a specialized common sense notion of part for arbitrary parts of substances; quasi-synonyms are: chunk, hunk, bit, etc; compare component, another subrelation of part
     subtype:  sumo#component__component_of__componentof (sumo#corpuscular_object,sumo#corpuscular_object)  a specialized common sense notion of part for heterogeneous parts of complexes; the 1st argument is a component of the 2nd argument; examples: the doors and walls of a house, the states or provinces of a country, or the limbs and organs of an animal; compare with sumo#piece, another specialization of sumo#part
     subtype:  sumo#member (sumo#self_connected_object,sumo#collection)  a specialized common sense notion of part for uniform parts of collections; for example, each sheep in a flock of sheep would have the relationship of member to the flock