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

Formal Language: 



KB Term:  Term intersection
English Word: 

  trichotomizingOn

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) 是真的。") Merge.kif 3801-3804
(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 3797-3800
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3795-3795
(domain trichotomizingOn 2 SetOrClass) Merge.kif 3796-3796
(instance trichotomizingOn AsymmetricRelation) Merge.kif 3794-3794
(instance trichotomizingOn BinaryPredicate) Merge.kif 3793-3793

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

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 3806-3818

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


(<=>
    (totalOrderingOn ?RELATION ?CLASS)
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))
Merge.kif 3787-3791

Show without tree


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