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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 3293-3298
(externalImage AssociativeFunction " commons/ e/ eb/ RelativeComplement.png") pictureList.kif 8354-8354
(subclass AssociativeFunction BinaryFunction) Merge.kif 3291-3291

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 4525-4525
(instance MaxFn AssociativeFunction) Merge.kif 4777-4777
(instance MinFn AssociativeFunction) Merge.kif 4803-4803
(instance MultiplicationFn AssociativeFunction) Merge.kif 4512-4512
(termFormat ChineseLanguage AssociativeFunction "结合函数") chinese_format.kif 921-921
(termFormat EnglishLanguage AssociativeFunction "associative function") english_format.kif 1054-1054


    (instance ?FUNCTION AssociativeFunction)
    (forall (?INST1 ?INST2 ?INST3)
                (domain ?FUNCTION 1 ?CLASS)
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS)
                (instance ?INST3 ?CLASS))
                (AssignmentFn ?FUNCTION ?INST1
                    (AssignmentFn ?FUNCTION ?INST2 ?INST3))
                (AssignmentFn ?FUNCTION
                    (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?INST3)))))
Merge.kif 3300-3310

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners