AssociativeFunction - Sigma Knowledge base Browser

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 3451-3456
(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 3449-3449	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 4761-4761	AdditionFn is an instance of associative function
(instance MaxFn AssociativeFunction)	Merge.kif 5036-5036	MaxFn is an instance of associative function
(instance MinFn AssociativeFunction)	Merge.kif 5062-5062	MinFn is an instance of associative function
(instance MultiplicationFn AssociativeFunction)	Merge.kif 4748-4748	MultiplicationFn is an instance of associative function
(termFormat ChineseLanguage AssociativeFunction "结合函数")	chinese_format.kif 921-921	MultiplicationFn is an instance of associative function
(termFormat EnglishLanguage AssociativeFunction "associative function")	english_format.kif 1049-1049	MultiplicationFn is an instance of associative function
(termFormat FrenchLanguage AssociativeFunction "fonction associative")	french_format.kif 597-597	MultiplicationFn is an instance of associative function
(termFormat Hindi AssociativeFunction "sahachaary prakaarya")	terms-hindi.txt 127-127	MultiplicationFn is an instance of associative function
(termFormat ItalianLanguage AssociativeFunction "FunzioneAssociativa")	terms-it.txt 130-130	MultiplicationFn is an instance of associative function
(termFormat JapaneseLanguage AssociativeFunction "結合関数")	japanese_format.kif 2282-2282	MultiplicationFn is an instance of associative function
(termFormat PortugueseLanguage AssociativeFunction "Funcao Associativa")	portuguese_format.kif 549-549	MultiplicationFn is an instance of associative function
(termFormat cz AssociativeFunction "associative function")	terms-cz.txt 164-164	MultiplicationFn is an instance of associative function
(termFormat de AssociativeFunction "associative Funktion")	terms-de.txt 423-423	MultiplicationFn is an instance of associative function
(termFormat ro AssociativeFunction "funcþie asociativã")	relations-ro.kif 618-618	MultiplicationFn is an instance of associative function
(termFormat tg AssociativeFunction "pinagsamang tungkulin")	terms-tg.txt 131-131	MultiplicationFn is an instance of associative function

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

If a function is an instance of associative function,
then for all an entity, another entity,, , a third entity and a class
- if the number 1 argument of the function is an instance of the class and the entity is an instance of the class and the other entity is an instance of the class and the third entity is an instance of the class,
- then equal the function(the entity and the function(the other entity and the third entity)) and the function(the function(the entity and the other entity) and the third entity)

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: