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 Class only if, for all instances ?INST1 and ?INST2 of the Class, at least one of the following holds: (?REL ?INST1 ?INST2), (?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2).") Merge.kif 3684-3687
(documentation trichotomizingOn JapaneseLanguage "A BinaryRelation ?REL は、SetOrClass のすべてのインスタンス?INST1と?INST2に対して、(?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)または(?INST1 ?INST2と等しい) のいずれかを保持している場合にのみ、 SetOrClass 三分される。") japanese_format.kif 696-699
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3681-3681 The number 1 argument of trichotomizing on is an instance of binary relation
(domain trichotomizingOn 2 Class) Merge.kif 3682-3682 The number 2 argument of trichotomizing on is an instance of class
(instance trichotomizingOn AsymmetricRelation) Merge.kif 3680-3680 trichotomizing on is an instance of asymmetric relation
(instance trichotomizingOn BinaryPredicate) Merge.kif 3679-3679 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 196-196
(format FrenchLanguage trichotomizingOn "%1 est %n trichotomiz� en %2") french_format.kif 117-117
(format ItalianLanguage trichotomizingOn "%1 è %n tricotomizzante su %2") relations-it.txt 304-304
(format JapaneseLanguage trichotomizingOn "%1 は %2 で trichotomizing されて %n") japanese_format.kif 1946-1946
(format PortugueseLanguage trichotomizingOn "%1 e' %n tricotomizado en %2") portuguese_format.kif 69-69
(format cz trichotomizingOn "%1 %p{je} %n{nen�} trichotomizing on %2") relations-cz.txt 111-111
(format de trichotomizingOn "%1 ist eine trichotomizierung auf %2 %n{nicht}") relations-de.txt 250-250
(format hi trichotomizingOn "%1 %2 para trivibhaagii %n hai") relations-hindi.txt 340-340
(format ro trichotomizingOn "%1 %n{nu} este o relaþie trichotomizing%t{trihotomicã} pe %2") relations-ro.kif 136-136
(format sv trichotomizingOn "%1 en %n{inte} trichotomisering över %2") relations-sv.txt 122-122
(termFormat ChineseLanguage trichotomizingOn "trichotomizing") domainEnglishFormat.kif 59186-59186
(termFormat ChineseLanguage trichotomizingOn "含三分律关系") chinese_format.kif 196-196
(termFormat ChineseTraditionalLanguage trichotomizingOn "trichotomizing") domainEnglishFormat.kif 59185-59185
(termFormat EnglishLanguage trichotomizingOn "trichotomizing on") domainEnglishFormat.kif 59184-59184
(termFormat de trichotomizingOn "trichotomizierungAuf") terms-de.txt 79-79

antecedent
-------------------------


(=>
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS))
    (totalOrderingOn ?RELATION ?CLASS))
Merge.kif 3673-3677
(=>
    (and
        (trichotomizingOn ?RELATION ?CLASS)
        (instance ?RELATION RelationExtendedToQuantities))
    (forall (?INST1 ?INST2)
        (=>
            (and
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS))
            (or
                (?RELATION ?INST1 ?INST2)
                (?RELATION ?INST2 ?INST1)
                (equal ?INST1 ?INST2)))))
Merge.kif 3689-3701

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


(=>
    (totalOrderingOn ?RELATION ?CLASS)
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))
Merge.kif 3667-3671