Relation 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
  supertype:  pm#mereological_relation
  inverse:  pm#part
  similar_to:  lis#arrangement_of_individual
  equal:  nsm#part_of
  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)