| 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 2289-2291 | |
| (subclass TrichotomizingRelation BinaryRelation) | Merge.kif 2287-2287 |
| appearance as argument number 2 |
|
|
| (subclass TotalOrderingRelation TrichotomizingRelation) | Merge.kif 2352-2352 | |
| (termFormat ChineseLanguage TrichotomizingRelation "三分关系") | chinese_format.kif 898-898 | |
| (termFormat EnglishLanguage TrichotomizingRelation "trichotomizing relation") | english_format.kif 998-998 |
| 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 2293-2308 |
|
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