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 3699-3702
(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 3696-3696 trichotomizingOn の数値 1 引数は 2項関係instance では
(domain trichotomizingOn 2 Class) Merge.kif 3697-3697 trichotomizingOn の数値 2 引数は クラスinstance では
(instance trichotomizingOn AsymmetricRelation) Merge.kif 3695-3695 trichotomizingOn非対称関係instance では
(instance trichotomizingOn BinaryPredicate) Merge.kif 3694-3694 trichotomizingOn2進述語instance では

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 59170-59170
(termFormat ChineseLanguage trichotomizingOn "含三分律关系") chinese_format.kif 196-196
(termFormat ChineseTraditionalLanguage trichotomizingOn "trichotomizing") domainEnglishFormat.kif 59169-59169
(termFormat EnglishLanguage trichotomizingOn "trichotomizing on") domainEnglishFormat.kif 59168-59168
(termFormat de trichotomizingOn "trichotomizierungAuf") terms-de.txt 79-79

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


(=>
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS))
    (totalOrderingOn ?RELATION ?CLASS))
Merge.kif 3688-3692
(=>
    (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 3704-3716

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


(=>
    (totalOrderingOn ?RELATION ?CLASS)
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))
Merge.kif 3682-3686

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


(trichotomizingOn greaterThan RealNumber) Merge.kif 1857-1857 greaterThan実数 で trichotomizing されて
(trichotomizingOn greaterThanOrEqualTo RealNumber) Merge.kif 1886-1886 greaterThanOrEqualTo実数 で trichotomizing されて
(trichotomizingOn lessThan RealNumber) Merge.kif 1845-1845 lessThan実数 で trichotomizing されて
(trichotomizingOn lessThanOrEqualTo RealNumber) Merge.kif 1869-1869 lessThanOrEqualTo実数 で trichotomizing されて


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 3.0 is open source software produced by Articulate Software and its partners