|
|
   TotalOrderingRelation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TotalOrderingRelation ChineseLanguage "一个 BinaryRelation 是 TotalOrderingRelation 如果它是一个 PartialOrderingRelation和 TrichotomizingRelation。") | 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 "BinaryRelation は PartialOrderingRelation と TrichotomizingRelation の場合の TotalOrderingRelation で ある。") | japanese_format.kif 478-480 | |
| (subclass TotalOrderingRelation PartialOrderingRelation) | Merge.kif 2374-2374 | 子類 TotalOrderingRelation and PartialOrderingRelation |
| (subclass TotalOrderingRelation TrichotomizingRelation) | Merge.kif 2375-2375 | 子類 TotalOrderingRelation and TrichotomizingRelation |
| 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 |
| 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 2381-2390 |
|
|
|