pm#trichotomizing_relation_type  binary_relation such that all ordered pairs consisting of distinct individuals are element of this binary_relation
  supertype:  pm#binary_relation_type  all binary relation types are instance of that object  instance:  pm#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:  pm#trichotomizing_relation_on_real_number (sumo#quantity,sumo#quantity)
        subtype:  sumo#less_than (sumo#quantity,sumo#quantity)
        subtype:  sumo#greater_than__greaterthan (sumo#quantity,sumo#quantity)
        subtype:  sumo#less_than_or_equal (sumo#quantity,sumo#quantity)
        subtype:  sumo#greater_than_or_equal (sumo#quantity,sumo#quantity)

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

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