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:  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:  partial_ordering_relation_type  total_ordering_relation_type
  subtype:  inferior_to__less_than___superior__superior (?,?)  fuzzy category, DO NOT USE DIRECTLY
  subtype:  superior_to__more_than___inferior__inferior (?,?)  fuzzy category, DO NOT USE DIRECTLY
  subtype:  before (time_measure,time_measure)
  subtype:  after (time_measure,time_measure)
  subtype:  before_location__before (spatial_object,spatial_object)