| AssociativeFunction(associative function)
|
| 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 8351-8351 | |
| (subclass AssociativeFunction BinaryFunction) | Merge.kif 3410-3410 | Associative function is a subclass of binary function |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|
|