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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - trichotomizingOn
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 3521-3524
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3518-3518 The number 1 argument of trichotomizing on is an instance of binary relation
(domain trichotomizingOn 2 SetOrClass) Merge.kif 3519-3519 The number 2 argument of trichotomizing on is an instance of set or class
(instance trichotomizingOn AsymmetricRelation) Merge.kif 3517-3517 trichotomizing on is an instance of asymmetric relation
(instance trichotomizingOn BinaryPredicate) Merge.kif 3516-3516 trichotomizing on is an instance of binary predicate

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 59073-59073
(termFormat ChineseLanguage trichotomizingOn "含三分律关系") chinese_format.kif 196-196
(termFormat ChineseTraditionalLanguage trichotomizingOn "trichotomizing") domainEnglishFormat.kif 59072-59072
(termFormat EnglishLanguage trichotomizingOn "trichotomizing on") domainEnglishFormat.kif 59071-59071

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 3526-3538

consequent
-------------------------


(<=>
    (totalOrderingOn ?RELATION ?CLASS)
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))
Merge.kif 3510-3514 A binary relation is total ordering on a set or class if and only if the binary relation is partial ordering on the set or class and the binary relation is trichotomizing on the set or class

appearance as argument number 0
-------------------------


(trichotomizingOn greaterThan RealNumber) Merge.kif 1755-1755 greater than is trichotomizing on real number
(trichotomizingOn greaterThanOrEqualTo RealNumber) Merge.kif 1784-1784 greater than or equal to is trichotomizing on real number
(trichotomizingOn lessThan RealNumber) Merge.kif 1743-1743 less than is trichotomizing on real number
(trichotomizingOn lessThanOrEqualTo RealNumber) Merge.kif 1767-1767 less than or equal to is trichotomizing on real number


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