TotalOrderingRelation(relation totalement dirig�e) |
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 | Relation totalement dirig�e est une sous-classe de relation partiellement dirig�e |
(subclass TotalOrderingRelation TrichotomizingRelation) | Merge.kif 2375-2375 | Relation totalement dirig�e est une sous-classe de relation trichotomique |
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 |