SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > TotalOrderingRelation
Next PartialOrderingRelationbeforeEq    UpPartialOrderingRelation, TrichotomizingRelation    Previous PartialOrderingRelationsubsumesContentInstance   

TotalOrderingRelation
subjectfact 
TotalOrderingRelationdocumentation "A BinaryRelation is a TotalOrderingRelation if it is a PartialOrderingRelation and a TrichotomizingRelation2001-11-30 13:35:28.0
has axiom
(=>
(instance ?REL TotalOrderingRelation)
(forall (?INST1 ?INST2)
(or
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))))
2001-11-30 13:35:28.0
is a kind of PartialOrderingRelation2001-11-30 13:35:28.0
is a kind of TrichotomizingRelation2001-11-30 13:35:28.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next PartialOrderingRelationbeforeEq    UpPartialOrderingRelation, TrichotomizingRelation    Previous PartialOrderingRelationsubsumesContentInstance