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