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