| appearance as argument number 1 |
|
| (documentation TrichotomizingRelation ChineseLanguage "一个 BinaryRelation ?REL 是 TrichotomizingRelation 万一所有有序的一对东西出现 ?REL 元素的不同个体。") | chinese_format.kif 1846-1847 | |
| (documentation TrichotomizingRelation EnglishLanguage "A BinaryRelation ?REL is a TrichotomizingRelation just in case all ordered pairs consisting of distinct individuals are elements of ?REL.") | Merge.kif 2312-2314 | |
| (documentation TrichotomizingRelation JapaneseLanguage "明確な個々で構成されるすべての 順序付きペアが ?REL の要素である場合に備え、BinaryRelation ?REL は、TrichotomizingRelation である。") | japanese_format.kif 466-468 | |
| (subclass TrichotomizingRelation BinaryRelation) | Merge.kif 2310-2310 |
| appearance as argument number 2 |
|
|
| (subclass TotalOrderingRelation TrichotomizingRelation) | Merge.kif 2375-2375 | |
| (termFormat ChineseLanguage TrichotomizingRelation "三分关系") | chinese_format.kif 898-898 | |
| (termFormat EnglishLanguage TrichotomizingRelation "trichotomizing relation") | english_format.kif 998-998 | |
| (termFormat FrenchLanguage TrichotomizingRelation "relation trichotomique") | french_format.kif 574-574 | |
| (termFormat Hindi TrichotomizingRelation "") | terms-hindi.txt 104-104 | |
| (termFormat ItalianLanguage TrichotomizingRelation "RelazioneTricotomizzante") | terms-it.txt 107-107 | |
| (termFormat JapaneseLanguage TrichotomizingRelation "三分関係") | japanese_format.kif 2259-2259 | |
| (termFormat PortugueseLanguage TrichotomizingRelation "Relacao Tricotomica") | portuguese_format.kif 526-526 | |
| (termFormat cz TrichotomizingRelation "trichotomizing relation") | terms-cz.txt 141-141 | |
| (termFormat ro TrichotomizingRelation "relaþie de tricotomizare") | relations-ro.kif 595-595 | |
| (termFormat tg TrichotomizingRelation "") | terms-tg.txt 108-108 |
| antecedent |
|
|
| (=> (instance ?REL TrichotomizingRelation) (forall (?INST1 ?INST2) (or (and (?REL ?INST1 ?INST2) (not (equal ?INST1 ?INST2)) (not (?REL ?INST2 ?INST1))) (and (not (?REL ?INST1 ?INST2)) (equal ?INST1 ?INST2) (not (?REL ?INST2 ?INST1))) (and (not (?REL ?INST1 ?INST2)) (not (equal ?INST1 ?INST2)) (?REL ?INST2 ?INST1))))) |
Merge.kif 2316-2331 |
|
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