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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3360-3364
(externalImage CommutativeFunction "http://upload.wikimedia.org/wikipedia/ commons/ d/ da/ Commutative_Word_Origin.PNG") pictureList.kif 8431-8431
(subclass CommutativeFunction BinaryFunction) Merge.kif 3358-3358

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 4613-4613
(instance MaxFn CommutativeFunction) Merge.kif 4888-4888
(instance MinFn CommutativeFunction) Merge.kif 4914-4914
(instance MultiplicationFn CommutativeFunction) Merge.kif 4600-4600
(termFormat ChineseLanguage CommutativeFunction "交换函数") chinese_format.kif 922-922
(termFormat EnglishLanguage CommutativeFunction "commutative function") english_format.kif 1051-1051

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 3366-3376


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