| AssociativeFunction
|
| appearance as argument number 1 |
|
| (documentation AssociativeFunction ChineseLanguage "一个 BinaryFunction 属于关联性的如果 使用括号并没有影响 Function 所交出的值，更确切的说，对于所有的?INST1、 ?INST2 和 ?INST3， Function ?FUNCTION 是关联性的，以防(?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3))和 (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3)相同。") | chinese_format.kif 2000-2003 | |
| (documentation AssociativeFunction EnglishLanguage "A BinaryFunction is associative if bracketing has no effect on the value returned by the Function. More precisely, a Function ?FUNCTION is associative just in case (?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) is equal to (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3), for all ?INST1, ?INST2, and ?INST3.") | Merge.kif 3412-3417 | |
| (documentation AssociativeFunction JapaneseLanguage "ブラケットが?FUNCTIONによって返される 値に影響を与える場合、BinaryFunction は関連される。 より正確には、Function ?FUNCTION は 念のため、(?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) が (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3) と等しい場合に備え、すべての?INST1、?INST2、および?INST3が関連的である。") | japanese_format.kif 637-640 | |
| (externalImage AssociativeFunction "http://upload.wikimedia.org/wikipedia/ commons/ e/ eb/ RelativeComplement.png") | pictureList.kif 8352-8352 | |
| (subclass AssociativeFunction BinaryFunction) | Merge.kif 3410-3410 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage AssociativeFunction "%1 和 %2 的 associative 功能") | domainEnglishFormat.kif 208-208 | |
| (format ChineseTraditionalLanguage AssociativeFunction "%1 和 %2 的 associative 功能") | domainEnglishFormat.kif 207-207 | |
| (format EnglishLanguage AssociativeFunction "the associative function of %1 and %2") | domainEnglishFormat.kif 206-206 | |
| (instance AdditionFn AssociativeFunction) | Merge.kif 4709-4709 | |
| (instance MaxFn AssociativeFunction) | Merge.kif 4984-4984 | |
| (instance MinFn AssociativeFunction) | Merge.kif 5010-5010 | |
| (instance MultiplicationFn AssociativeFunction) | Merge.kif 4696-4696 | |
| (termFormat ChineseLanguage AssociativeFunction "结合函数") | chinese_format.kif 921-921 | |
| (termFormat EnglishLanguage AssociativeFunction "associative function") | english_format.kif 1049-1049 | |
| (termFormat FrenchLanguage AssociativeFunction "fonction associative") | french_format.kif 597-597 | |
| (termFormat Hindi AssociativeFunction "sahachaary prakaarya") | terms-hindi.txt 127-127 | |
| (termFormat ItalianLanguage AssociativeFunction "FunzioneAssociativa") | terms-it.txt 130-130 | |
| (termFormat JapaneseLanguage AssociativeFunction "結合関数") | japanese_format.kif 2282-2282 | |
| (termFormat PortugueseLanguage AssociativeFunction "Funcao Associativa") | portuguese_format.kif 549-549 | |
| (termFormat cz AssociativeFunction "associative function") | terms-cz.txt 164-164 | |
| (termFormat ro AssociativeFunction "funcþie asociativã") | relations-ro.kif 618-618 | |
| (termFormat tg AssociativeFunction "pinagsamang tungkulin") | terms-tg.txt 131-131 |
| antecedent |
|
|
| (=> (instance ?FUNCTION AssociativeFunction) (forall (?INST1 ?INST2 ?INST3 ?CLASS) (=> (and (domain ?FUNCTION 1 ?CLASS) (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS) (instance ?INST3 ?CLASS)) (equal (AssignmentFn ?FUNCTION ?INST1 (AssignmentFn ?FUNCTION ?INST2 ?INST3)) (AssignmentFn ?FUNCTION (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?INST3))))) |
Merge.kif 3419-3429 |
|
|
|