SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > TotalOrderingRelation |
TotalOrderingRelation comparison table |
Subject | documentation | is a kind of | have axiom |
---|---|---|---|
PartialOrderingRelation | A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation | TransitiveRelation | (=> |
TrichotomizingRelation | A BinaryRelation ?REL is a TrichotomizingRelation just in case all ordered pairs consisting of distinct individuals are elements of ?REL | BinaryRelation | (=> |
TotalOrderingRelation | "A BinaryRelation is a TotalOrderingRelation if it is a PartialOrderingRelation and a TrichotomizingRelation | TrichotomizingRelation | (=> |
Next PartialOrderingRelation: beforeEq Up: PartialOrderingRelation, TrichotomizingRelation Previous PartialOrderingRelation: subsumesContentInstance