Relation pm#partial_ordering_relation (?,?)  this category only serves structuration purposes: it is instance of pm#partial_ordering_relation_type which is not instance of pm#class_of_inheritable_relation_type
  supertype:  pm#reflexive_relation  pm#antisymmetric_relation  pm#transitive_relation
  instance of:  pm#partial_ordering_relation_type
  subtype:  pm#total_ordering_relation (?,?)  this category only serves structuration purposes: it is instance of pm#total_ordering_relation_type which is not instance of pm#class_of_inheritable_relation_type
     subtype:  pm#inferior_to__less_than___superior__superior (?,?)  fuzzy category, DO NOT USE DIRECTLY
     subtype:  pm#superior_to__more_than___inferior__inferior (?,?)  fuzzy category, DO NOT USE DIRECTLY
     subtype:  pm#before (pm#time_measure,pm#time_measure)
     subtype:  pm#after (pm#time_measure,pm#time_measure)
     subtype:  pm#before_location__before (pm#spatial_object,pm#spatial_object)
  subtype:  pm#inferior_or_equal_to__less_than_or_equal_to___superior_or_equal___maximum__maximum (?,?)  fuzzy category, DO NOT USE DIRECTLY
  subtype:  pm#superior_or_equal_to__more_than_or_equal_to___inferior_or_equal___minimum__minimum (?,?)  fuzzy category, DO NOT USE DIRECTLY
  subtype:  pm#generalizing_type (?,pm#type)  fuzzy category, DO NOT USE DIRECTLY
     subtype:  pm#supertype (pm#type,pm#type)  in the FT notation, the '<' link is only used to connect to a "strict" supertype
        subtype:  rdfs#sub_class_of__subclassof__super_class__superclas (rdfs#class,rdfs#class)  in WebKB, use the link '<'
        subtype:  sumo#subrelation (pm#relation_type,pm#relation_type)  if the common reading conventions of parameters had been respected, this type would have been named subclass_of; every tuple of the 1st argument (r1) is also a tuple of the 2nd argument (r2), i.e. if r1 holds for some arguments arg_1, arg_2, ... arg_n, then the r2 holds for the same arguments; a consequence of this is that a relation and its subrelations must have the same valence
           subtype:  rdfs#sub_property_of (pm#binary_relation_type,pm#binary_relation_type)  in WebKB, use the link '<'
     subtype:  pm#kind__type___class___instance_of__instanceof (?,rdfs#class)  the '^' link in the FT notation
  subtype:  sumo#subclass__subclass_of (sumo#set_or_class,sumo#set_or_class)  if the common reading conventions of parameters had been respected, this type would have been named subclass_of; every instance of the 1st argument is also an instance of the 2nd argument; a class may have multiple superclasses and subclasses
     subtype:  sumo#immediate_subclass__immediate_subclass_of (sumo#set_or_class,sumo#set_or_class)  the 1st argument is a subclass of the 2nd argument and there is no other subclass of the 2nd argument such that the 1st is also a subclass of the 2nd; in WebKB, use the link '<'
  subtype:  pm#specializing_type (pm#type,?)
     subtype:  pm#instance (pm#type,?)  the ':' link in the FT notation
     subtype:  pm#subtype__subtype_or_equal (pm#type,pm#type)  subtype links should actually be strict subtype links or not much checking can be done
        subtype:  pm#strict_subtype (pm#type,pm#type)  the '>' link in the FT notation
           subtype:  dl#properly_subsumes_leaf__PSBL (pm#type,pm#type)  the 2nd type is a leaf type properly subsumed by the 1st type
        subtype:  dl#subsumes_leaf__SBL (pm#type,pm#type)  the 2nd type is a leaf type subsumed by the 1st type
           subtype:  dl#properly_subsumes_leaf__PSBL (pm#type,pm#type)  the 2nd type is a leaf type properly subsumed by the 1st type
  subtype:  pm#constitution (?,?)
     subtype:  pm#substance (? -> ?)
        subtype:  pm#matter (pm#physical_entity -> pm#physical_entity_part_or_substance)
     subtype:  dl#constituted_by__constitutedby__substance___K__k (dl#entity,dl#entity)
        subtype:  dl#has_member__hasmember (dl#entity,dl#entity)
  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#wnMember (?,?)  member relation in WordNet
     subtype:  pm#member (pm#collection,*)
        subtype:  pm#domain_object (pm#domain,?)
           subtype:  pm#core_domain_object__central_object_of_domain (pm#domain,?)
        subtype:  pm#reverse_of_KIF_member (kif#set,?)  this type only exists to make the connection to kif#member (which should have been named kif#member_of to respect the common reading conventions of parameters)
        subtype:  pm#item (sumo#list,?)
           subtype:  rdf#item (rdf#list,?)  for item(L,I) read: I is an item in L; either first(L,I) or item(R,I) where rest(L,R)
        subtype:  rdf#li (pm#collection,*)
        subtype:  kif#first (sumo#list -> ?)
        subtype:  kif#last (sumo#list -> ?)
        subtype:  kif#butlast (sumo#list -> ?)
        subtype:  kif#nth (sumo#list,sumo#positive_integer -> ?)
  subtype:  pm#sub_collection__subcollection (pm#collection,pm#collection)  a partial order relation
  subtype:  sumo#sub_attribute__subattribute (sumo#Attribute,sumo#Attribute)  the second argument can be ascribed to everything which has the first argument ascribed to it
  subtype:  sumo#sub_collection__subcollection__sub_collection_of (sumo#collection,sumo#collection)  the 1st collection is a proper part of the 2nd
  subtype:  sumo#less_than_or_equal_to (?,?)
  subtype:  sumo#greater_than_or_equal_to (?,?)
  subtype:  sumo#sub_list__sublist__sub_list_of (sumo#list,sumo#list)  the 1st argument is a sublist of the 2nd, i.e. every element of the 1st is an element of the 2nd and the elements that are common to both lists have the same order in both lists
     subtype:  sumo#initial_list__initiallist (sumo#list,sumo#list)  the 1st argument (?L1) is a sublist of the 2nd (?L2), and (sumo#list_order_fn ?L1 ?NUMBER) returns the same value as (sumo#list_order_fn ?L2 ?N) for all of the values of ?N over which (sumo#list_order_fn ?L1 ?N) is defined
  subtype:  sumo#initial_list__initiallist (sumo#list,sumo#list)  the 1st argument (?L1) is a sublist of the 2nd (?L2), and (sumo#list_order_fn ?L1 ?NUMBER) returns the same value as (sumo#list_order_fn ?L2 ?N) for all of the values of ?N over which (sumo#list_order_fn ?L1 ?N) is defined
  subtype:  sumo#subsumes_content_class (?,?)
  subtype:  sumo#subsumes_content_instance (?,?)
  subtype:  sumo#temporal_part (?,?)
  subtype:  sumo#before_or_equal (?,?)
  subtype:  sumo#sub_process__subproces (?,?)
  subtype:  sumo#sub_organization__suborganization (?,?)
  subtype:  sumo#geometric_part__geometricpart (?,?)