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	(=> (instance ?REL TotalOrderingRelation) (forall (?INST1 ?INST2) (or (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST1))))

Next BinaryRelation: UnaryFunction    Up: BinaryRelation    Previous BinaryRelation: TransitiveRelation