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.