SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > TrichotomizingRelation |
TrichotomizingRelation comparison table |
Subject | be third domain of | documentation | be disjoint from | is a kind of | be second domain of | be first domain of | have axiom |
---|---|---|---|---|---|---|---|
TotalOrderingRelation | domainSubclass | "A BinaryRelation is a TotalOrderingRelation if it is a PartialOrderingRelation and a TrichotomizingRelation | Physical | TrichotomizingRelation | inverse | trichotomizingOn | (=> |
Next BinaryRelation: UnaryFunction Up: BinaryRelation Previous BinaryRelation: TransitiveRelation