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 3409-3413 | |
(externalImage CommutativeFunction "http://upload.wikimedia.org/wikipedia/ commons/ d/ da/ Commutative_Word_Origin.PNG") | pictureList.kif 8431-8431 | |
(subclass CommutativeFunction BinaryFunction) | Merge.kif 3407-3407 |
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 4680-4680 | |
(instance MaxFn CommutativeFunction) | Merge.kif 4955-4955 | |
(instance MinFn CommutativeFunction) | Merge.kif 4981-4981 | |
(instance MultiplicationFn CommutativeFunction) | Merge.kif 4667-4667 | |
(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 3415-3425 |
![]() |
![]() |