Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TotalOrderingRelation
TotalOrderingRelation(total ordering relation)

appearance as argument number 1
-------------------------


(subclass TotalOrderingRelation PartialOrderingRelation) Merge.kif 2484-2484 Total ordering relation is a subclass of partial ordering relation
(subclass TotalOrderingRelation TrichotomizingRelation) Merge.kif 2485-2485 Total ordering relation is a subclass of trichotomizing relation
(documentation TotalOrderingRelation EnglishLanguage "A BinaryRelation is a TotalOrderingRelation if it is a PartialOrderingRelation and a TrichotomizingRelation.") Merge.kif 2487-2489 Total ordering relation is a subclass of trichotomizing relation

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage TotalOrderingRelation "total ordering relation") english_format.kif 1015-1015

antecedent
-------------------------


(=>
    (instance ?REL TotalOrderingRelation)
    (forall (?INST1 ?INST2)
        (and
            (or
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST1))
            (or
                (not
                    (?REL ?INST1 ?INST2))
                (not
                    (?REL ?INST2 ?INST1))))))		 Merge.kif 2491-2500 If X is an instance of total ordering relation, then For all Entities Y and Z: X Y and Z or X Z and Y and X Y and Z or X Z and Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners