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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommutativeFunction

Sigma KEE - CommutativeFunction
CommutativeFunction(交换函数)

appearance as argument number 1
-------------------------


(documentation CommutativeFunction ChineseLanguage "一个 BinaryFunction 属于可交换的如果 参数的顺序不影响函数所交出的值,更确切的说,对于所有的?INST1 和 ?INST2,Function ?FUNCTION 是可交换的,以防(?FUNCTION ?INST1 ?INST2) 和 (?FUNCTION ?INST2 ?INST1)相同。") chinese_format.kif 2004-2006
(documentation CommutativeFunction EnglishLanguage "A BinaryFunction is commutative if the ordering of the arguments of the function has no effect on the value returned by the function. More precisely, a function ?FUNCTION is commutative just in case (?FUNCTION ?INST1 ?INST2) is equal to (?FUNCTION ?INST2 ?INST1), for all ?INST1 and ?INST2.") Merge.kif 3433-3437
(documentation CommutativeFunction JapaneseLanguage "BinaryFunction は、関数の引数の順序が 関数によって返される値に影響を与える場合に可換になる。より正確には、関数 ?FUNCTION は、すべての ?INST1 および ?INST2 に対して(?FUNCTION ?INST1 ?INST2) が (?FUNCTION ?INST2 ?INST1) に等しい 場合に可換する。") japanese_format.kif 641-644
(externalImage CommutativeFunction "http://upload.wikimedia.org/wikipedia/ commons/ d/ da/ Commutative_Word_Origin.PNG") pictureList.kif 8430-8430
(subclass CommutativeFunction BinaryFunction) Merge.kif 3431-3431 交换函数二元函数subclass

appearance as argument number 2
-------------------------


(format ChineseLanguage CommutativeFunction "%1 和 %2 的 commutative 功能") domainEnglishFormat.kif 496-496
(format ChineseTraditionalLanguage CommutativeFunction "%1 和 %2 的 commutative 功能") domainEnglishFormat.kif 495-495
(format EnglishLanguage CommutativeFunction "the commutative function of %1 and %2") domainEnglishFormat.kif 494-494
(instance AdditionFn CommutativeFunction) Merge.kif 4710-4710 加法函数交换函数instance
(instance MaxFn CommutativeFunction) Merge.kif 4985-4985 较大值函数交换函数instance
(instance MinFn CommutativeFunction) Merge.kif 5011-5011 较小值函数交换函数instance
(instance MultiplicationFn CommutativeFunction) Merge.kif 4697-4697 乘法函数交换函数instance
(termFormat ChineseLanguage CommutativeFunction "交换函数") chinese_format.kif 922-922 乘法函数交换函数instance
(termFormat EnglishLanguage CommutativeFunction "commutative function") english_format.kif 1051-1051 乘法函数交换函数instance
(termFormat FrenchLanguage CommutativeFunction "function commutative") french_format.kif 598-598 乘法函数交换函数instance
(termFormat Hindi CommutativeFunction "vinimaya-sambandhI prakaarya") terms-hindi.txt 128-128 乘法函数交换函数instance
(termFormat ItalianLanguage CommutativeFunction "FunzioneCommutativa") terms-it.txt 131-131 乘法函数交换函数instance
(termFormat JapaneseLanguage CommutativeFunction "可換関数") japanese_format.kif 2283-2283 乘法函数交换函数instance
(termFormat PortugueseLanguage CommutativeFunction "Funcao Commutativa") portuguese_format.kif 550-550 乘法函数交换函数instance
(termFormat cz CommutativeFunction "commutative function") terms-cz.txt 165-165 乘法函数交换函数instance
(termFormat ro CommutativeFunction "funcþie comutativã") relations-ro.kif 619-619 乘法函数交换函数instance
(termFormat tg CommutativeFunction "pagpapalit ng tungkulin") terms-tg.txt 132-132 乘法函数交换函数instance

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


(=>
    (instance ?FUNCTION CommutativeFunction)
    (forall (?INST1 ?INST2 ?CLASS)
        (=>
            (and
                (domain ?FUNCTION 1 ?CLASS)
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS))
            (equal
                (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))
Merge.kif 3439-3449


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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