Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - trichotomizingOn

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"


        (trichotomizingOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST1 ?INST2)
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS))
                (?RELATION ?INST1 ?INST2)
                (?RELATION ?INST2 ?INST1)
                (equal ?INST1 ?INST2)))))
Merge.kif 3436-3448


    (totalOrderingOn ?RELATION ?CLASS)
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))
Merge.kif 3420-3424 totalOrderingOn BinaryRelation and SetOrClass partialOrderingOn BinaryRelation and SetOrClass trichotomizingOn BinaryRelation and SetOrClass