Relation 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
  supertype:  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
  instance of:  pm#partial_ordering_relation_type  pm#total_ordering_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)