Relation pm#mereological_relation (?,*)
  exclusion:  attributive_relation  intentional_relation  temporal_relation  object_relation
  supertype:  relation_playing_a_special_role  what_relation
  subtype:  part_or_parts (?,?)
     subtype:  part (?,?)
        subtype:  sub_situation__subsituation (situation,situation)
           subtype:  sub_process__subproces (process,process)
           subtype:  temporal_part__P.T (perdurant,perdurant)
           subtype:  spatial_part__spatialpart__P.S (perdurant,perdurant)
        subtype:  spatial_part__spatialpart (spatial_object,spatial_object)
           subtype:  physical_part (physical_entity,physical_entity)
        subtype:  sub_collection__subcollection (collection,collection)  a partial order relation
           subtype:  ending_collection (collection,collection)
              subtype:  final_segment__finalsegment (collection,collection)  the second collection is a final segment of the 1st
           subtype:  sublist__final_segment_of__finalsegmentof (list,list)  USE pm#final_segment INSTEAD OF THIS RELATION TYPE; "sublist" is a misleading name; "final_segment_of" is better
        subtype:  main_part (?,?)
        subtype:  first_part__firstpart (?,?)
           subtype:  first (list -> ?)
              subtype:  first (list -> ?)
        subtype:  last_part (?,?)
           subtype:  last (list -> ?)
        subtype:  part_in_Dolce_Lite (entity,entity)
           subtype:  part (entity,entity)  the subpart may or may not be different from the whole
              subtype:  component (entity,entity)
              subtype:  atomic_part (entity,atom)  an undivisible part
                 subtype:  temporary_atomic_part__AtP (entity,atom)
           subtype:  proper_part (entity,entity)  the subpart is different from the whole
           subtype:  temporary_proper_part (endurant,endurant)
           subtype:  temporary_part__temporarypart (endurant,endurant)
              subtype:  temporary_component__temporarycomponent (endurant,endurant)
           subtype:  constant_part (entity,entity)
           subtype:  sibling_part__siblingpart (entity,entity)
        subtype:  in_proceedings (conference,publication)
     subtype:  parts__part (?,collection)  such a type (using a collection as destination) should NOT be used: pm#part or a subtype of it should be used instead
  subtype:  part_of (?,?)  this type SHOULD NOT BE USED IN WEBKB (its inverse may be used); this type is only provided for knowledge sharing purposes
     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
     subtype:  part_in_Dolce_Full (world,particular,particular+)
        subtype:  part__P (world,particular,particular,particular)
        subtype:  atomic_part__AtP (world,particular,particular)
        subtype:  temporary_atomic_part__AtP (world,particular,particular,particular)
        subtype:  proper_part__PP (world,particular,particular)  a subpart (different from the whole)
        subtype:  temporary_proper_part__PP (world,particular,particular,particular)
        subtype:  temporary_part__temporarypart__P (world,particular,particular,particular)
  subtype:  overlap_with__overlapwith (?,?)
     subtype:  overlap__O (abstract_or_perdurant,abstract_or_perdurant)