Relation pm#part (?,?)
  supertype:  part_or_parts  partial_ordering_relation
  instance of:  partial_ordering_relation_type
  inverse:  part_of
  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)