Relation pm#mereological_relation (?,*)
  exclusion:  pm#attributive_relation  pm#intentional_relation  pm#temporal_relation  pm#object_relation
  supertype:  pm#relation_playing_a_special_role  pm#what_relation
  subtype:  pm#part_or_parts (?,?)
     subtype:  pm#part (?,?)
        subtype:  pm#sub_situation__subsituation (pm#situation,pm#situation)
           subtype:  pm#sub_process__subproces (pm#process,pm#process)
           subtype:  dl#temporal_part__P.T (dl#perdurant,dl#perdurant)
           subtype:  dl#spatial_part__spatialpart__P.S (dl#perdurant,dl#perdurant)
        subtype:  pm#spatial_part__spatialpart (pm#spatial_object,pm#spatial_object)
           subtype:  pm#physical_part (pm#physical_entity,pm#physical_entity)
        subtype:  pm#sub_collection__subcollection (pm#collection,pm#collection)  a partial order relation
           subtype:  pm#ending_collection (pm#collection,pm#collection)
              subtype:  pm#final_segment__finalsegment (pm#collection,pm#collection)  the second collection is a final segment of the 1st
           subtype:  kif#sublist__final_segment_of__finalsegmentof (sumo#list,sumo#list)  USE pm#final_segment INSTEAD OF THIS RELATION TYPE; "sublist" is a misleading name; "final_segment_of" is better
        subtype:  pm#main_part (?,?)
        subtype:  pm#first_part__firstpart (?,?)
           subtype:  kif#first (sumo#list -> ?)
              subtype:  rdf#first (rdf#list -> ?)
        subtype:  pm#last_part (?,?)
           subtype:  kif#last (sumo#list -> ?)
        subtype:  pm#part_in_Dolce_Lite (dl#entity,dl#entity)
           subtype:  dl#part (dl#entity,dl#entity)  the subpart may or may not be different from the whole
              subtype:  dl#component (dl#entity,dl#entity)
              subtype:  dl#atomic_part (dl#entity,dl#atom)  an undivisible part
                 subtype:  dl#temporary_atomic_part__AtP (dl#entity,dl#atom)
           subtype:  dl#proper_part (dl#entity,dl#entity)  the subpart is different from the whole
           subtype:  dl#temporary_proper_part (dl#endurant,dl#endurant)
           subtype:  dl#temporary_part__temporarypart (dl#endurant,dl#endurant)
              subtype:  dl#temporary_component__temporarycomponent (dl#endurant,dl#endurant)
           subtype:  dl#constant_part (dl#entity,dl#entity)
           subtype:  dl#sibling_part__siblingpart (dl#entity,dl#entity)
        subtype:  pm#in_proceedings (#conference,#publication)
     subtype:  pm#parts__part (?,pm#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:  pm#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:  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
     subtype:  pm#part_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
        subtype:  dolce#part__P (dolce#world,dolce#particular,dolce#particular,dolce#particular)
        subtype:  dolce#atomic_part__AtP (dolce#world,dolce#particular,dolce#particular)
        subtype:  dolce#temporary_atomic_part__AtP (dolce#world,dolce#particular,dolce#particular,dolce#particular)
        subtype:  dolce#proper_part__PP (dolce#world,dolce#particular,dolce#particular)  a subpart (different from the whole)
        subtype:  dolce#temporary_proper_part__PP (dolce#world,dolce#particular,dolce#particular,dolce#particular)
        subtype:  dolce#temporary_part__temporarypart__P (dolce#world,dolce#particular,dolce#particular,dolce#particular)
  subtype:  pm#overlap_with__overlapwith (?,?)
     subtype:  dl#overlap__O (dl#abstract_or_perdurant,dl#abstract_or_perdurant)