Relation pm#spatial_relation_from_entity_with_spatial_feature (object,*)
exclusion: relation_from_situation relation_from_collection relation_from_description_content/medium/container relation_from_attribute_or_quality_or_measure
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
subtype: relation_from_spatial_object (spatial_object,*)
subtype: relation_to_another_spatial_object (spatial_object,spatial_object)
subtype: location (spatial_object,spatial_object)
subtype: address__addres (spatial_object -> spatial_object)
subtype: main_address (spatial_object -> spatial_object)
subtype: secondary_address__secondaryaddres (spatial_object -> spatial_object)
subtype: above (spatial_object -> spatial_object)
subtype: on (spatial_object -> spatial_object)
subtype: below (spatial_object,spatial_object)
subtype: near (spatial_object -> spatial_object)
subtype: touching (spatial_object -> spatial_object)
subtype: far_from__farfrom (spatial_object,spatial_object)
subtype: exterior__in (spatial_object -> spatial_object)
subtype: interior (spatial_object,spatial_object)
subtype: before_location__before (spatial_object,spatial_object)
subtype: spatial_part__spatialpart (spatial_object,spatial_object)
subtype: physical_part (physical_entity,physical_entity)
subtype: facility (spatial_object,?)
subtype: front_fn__frontfn (self_connected_object -> 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: back_fn (self_connected_object -> 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: traverses__traverse (object,object) the first object crosses or extends across the second; note that crosses and penetrates are subrelations of traverses
subtype: crosses__crosse (object,object) the 1st object traverses the second without being connected to it
subtype: penetrates (object,object) the 1st object is connected to the second along at least one whole dimension (length, width or depth)
subtype: distance (object,*)
subtype: larger (object,*)
subtype: smaller (object,*)
subtype: connected (object,*)
subtype: connects (object,*)
subtype: mereological_sum_fn (object,*)
subtype: mereological_product_fn (object,*)
subtype: mereological_difference_fn (object,*)
subtype: hole (object,*)
subtype: hole_host_fn (object,*)
subtype: partially_fills__partiallyfill (object,*)
subtype: hole_skin_fn (object,*)
subtype: orientation (object,*)
subtype: between (object,object,object) the second object is (directly) spatially located between the other two (the projections of which overlap with the second object)
subtype: part__part_of (object,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: proper_part__proper_part_of (object,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: piece__piece_of__pieceof (substance,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: component__component_of__componentof (corpuscular_object,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: member (self_connected_object,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