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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AssociativeFunction
AssociativeFunction(associative function)
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)相同。") Merge.kif 5164-5167
(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 5157-5162
(documentation AssociativeFunction JapaneseLanguage "ブラケットが?FUNCTIONによって返される 値に影響を与える場合、BinaryFunction は関連される。 より正確には、Function ?FUNCTION は 念のため、(?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) が (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3) と等しい場合に備え、すべての?INST1、?INST2、および?INST3が関連的である。") Merge.kif 5169-5172
(externalImage AssociativeFunction "http://upload.wikimedia.org/wikipedia/ commons/ e/ eb/ RelativeComplement.png") pictureList.kif 8354-8354 "http://upload.wikimedia.org/wikipedia/commons/e/eb/ RelativeComplement.png" is a URL depicting associative function
(subclass AssociativeFunction BinaryFunction) Merge.kif 5155-5155 Associative function is a subclass of binary function

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 6971-6971 Addition is an instance of associative function
(instance DivisionFn AssociativeFunction) Merge.kif 7020-7020 Division is an instance of associative function
(instance MaxFn AssociativeFunction) Merge.kif 7325-7325 Max is an instance of associative function
(instance MinFn AssociativeFunction) Merge.kif 7357-7357 Min is an instance of associative function
(instance MultiplicationFn AssociativeFunction) Merge.kif 6952-6952 Multiplication is an instance of associative function
(instance SubtractionFn AssociativeFunction) Merge.kif 6993-6993 Subtraction is an instance of associative function
(termFormat ChineseLanguage AssociativeFunction "结合函数") chinese_format.kif 921-921 "结合函数" is the printable form of associative function in ChineseLanguage
(termFormat EnglishLanguage AssociativeFunction "associative function") english_format.kif 1461-1461 "associative function" is the printable form of associative function in english language
(termFormat JapaneseLanguage AssociativeFunction "結合関数") english_format.kif 1462-1462 "結合関数" is the printable form of associative function in japanese language

antecedent
-------------------------


(=>
    (instance ?FUNCTION AssociativeFunction)
    (forall (?INST1 ?INST2 ?INST3)
        (=>
            (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 5175-5185


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners