pm#trichotomizing_relation_type  binary_relation such that all ordered pairs consisting of distinct individuals are element of this binary_relation
  supertype:  binary_relation_type  all binary relation types are instance of that object  instance:  trichotomizing_relation (?,?)  this category only serves structuration purposes: it is instance of pm#trichotomizing_relation_type which is not instance of pm#class_of_inheritable_relation_type
     subtype:  trichotomizing_relation_on_real_number (quantity,quantity)
        subtype:  less_than (quantity,quantity)
        subtype:  greater_than__greaterthan (quantity,quantity)
        subtype:  less_than_or_equal (quantity,quantity)
        subtype:  greater_than_or_equal (quantity,quantity)

  equal:  trichotomizing_relation (pm)
  subtype:  total_ordering_relation_type  partial_ordering_relation that is a trichotomizing_relation
     instance:  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:  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)

No statement uses or specializes trichotomizing_relation_type; click here to add one.