Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TotalOrderingRelation

appearance as argument number 1

(documentation TotalOrderingRelation ChineseLanguage "一个 BinaryRelationTotalOrderingRelation 如果它是一个 PartialOrderingRelationTrichotomizingRelation。") chinese_format.kif 1856-1857
(documentation TotalOrderingRelation EnglishLanguage "A BinaryRelation is a TotalOrderingRelation if it is a PartialOrderingRelation and a TrichotomizingRelation.") Merge.kif 2377-2379
(documentation TotalOrderingRelation JapaneseLanguage "BinaryRelationPartialOrderingRelationTrichotomizingRelation の場合の TotalOrderingRelation で ある。") japanese_format.kif 478-480
(subclass TotalOrderingRelation PartialOrderingRelation) Merge.kif 2374-2374
(subclass TotalOrderingRelation TrichotomizingRelation) Merge.kif 2375-2375

appearance as argument number 2

(termFormat ChineseLanguage TotalOrderingRelation "全序关系") chinese_format.kif 902-902
(termFormat EnglishLanguage TotalOrderingRelation "total ordering relation") english_format.kif 1011-1011
(termFormat FrenchLanguage TotalOrderingRelation "relation totalement dirig�e") french_format.kif 578-578
(termFormat Hindi TotalOrderingRelation "pUrna anukrama sambandha") terms-hindi.txt 108-108
(termFormat ItalianLanguage TotalOrderingRelation "RelazioneDiOrdineTotale") terms-it.txt 111-111
(termFormat JapaneseLanguage TotalOrderingRelation "全順序関係") japanese_format.kif 2263-2263
(termFormat PortugueseLanguage TotalOrderingRelation "Relacao totalmente Ordenada") portuguese_format.kif 530-530
(termFormat cz TotalOrderingRelation "total ordering relation") terms-cz.txt 145-145
(termFormat ro TotalOrderingRelation "relaþie de ordine totalã") relations-ro.kif 599-599
(termFormat tg TotalOrderingRelation "") terms-tg.txt 112-112


    (instance ?REL TotalOrderingRelation)
    (forall (?INST1 ?INST2)
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST1))
                    (?REL ?INST1 ?INST2))
                    (?REL ?INST2 ?INST1))))))
Merge.kif 2381-2390

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 is open source software produced by Articulate Software and its partners