| appearance as argument number 1 |
|
| (documentation trichotomizingOn ChineseLanguage "一个 BinaryRelation ?REL 在一个 SetOrClass 属于三分关系，除非对于这个 SetOrClass 所有的 ?INST1 和 ?INST2 的实例， 起码任何以下一个 (?REL ?INST1 ?INST2)，(?REL ?INST2 ?INST1) 或 (equal ?INST1 ?INST2) 是真的。") | chinese_format.kif 2051-2054 | |
| (documentation trichotomizingOn EnglishLanguage "A BinaryRelation ?REL is trichotomizing on a SetOrClass only if, for all instances ?INST1 and ?INST2 of the SetOrClass, at least one of the following holds: (?REL ?INST1 ?INST2), (?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2).") | Merge.kif 3431-3434 | |
| (domain trichotomizingOn 1 BinaryRelation) | Merge.kif 3428-3428 | domain trichotomizingOn, 1 and BinaryRelation |
| (domain trichotomizingOn 2 SetOrClass) | Merge.kif 3429-3429 | domain trichotomizingOn, 2 and SetOrClass |
| (instance trichotomizingOn AsymmetricRelation) | Merge.kif 3427-3427 | instance trichotomizingOn and AsymmetricRelation |
| (instance trichotomizingOn BinaryPredicate) | Merge.kif 3426-3426 | instance trichotomizingOn and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage trichotomizingOn "%1 %n 是 %2 的 trichotomizingOn ") | chinese_format.kif 195-195 | |
| (format EnglishLanguage trichotomizingOn "%1 is %n trichotomizing on %2") | english_format.kif 199-199 | |
| (termFormat ChineseLanguage trichotomizingOn "trichotomizing") | domainEnglishFormat.kif 59131-59131 | termFormat ChineseLanguage, trichotomizingOn and "trichotomizing" |
| (termFormat ChineseLanguage trichotomizingOn "含三分律关系") | chinese_format.kif 196-196 | termFormat ChineseLanguage, trichotomizingOn and "含三分律关系" |
| (termFormat ChineseTraditionalLanguage trichotomizingOn "trichotomizing") | domainEnglishFormat.kif 59130-59130 | termFormat ChineseTraditionalLanguage, trichotomizingOn and "trichotomizing" |
| (termFormat EnglishLanguage trichotomizingOn "trichotomizing on") | domainEnglishFormat.kif 59129-59129 | termFormat EnglishLanguage, trichotomizingOn and "trichotomizing on" |
| antecedent |
|
|
| (=> (and (trichotomizingOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (or (?RELATION ?INST1 ?INST2) (?RELATION ?INST2 ?INST1) (equal ?INST1 ?INST2))))) |
Merge.kif 3436-3448 |
|
| consequent |
|
|
| (<=> (totalOrderingOn ?RELATION ?CLASS) (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS))) |
Merge.kif 3420-3424 | totalOrderingOn BinaryRelation and SetOrClass partialOrderingOn BinaryRelation and SetOrClass trichotomizingOn BinaryRelation and SetOrClass |
| appearance as argument number 0 |
|
|
| (trichotomizingOn greaterThan RealNumber) | Merge.kif 1754-1754 | trichotomizingOn greaterThan and RealNumber |
| (trichotomizingOn greaterThanOrEqualTo RealNumber) | Merge.kif 1783-1783 | trichotomizingOn greaterThanOrEqualTo and RealNumber |
| (trichotomizingOn lessThan RealNumber) | Merge.kif 1742-1742 | trichotomizingOn lessThan and RealNumber |
| (trichotomizingOn lessThanOrEqualTo RealNumber) | Merge.kif 1766-1766 | trichotomizingOn lessThanOrEqualTo and RealNumber |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners