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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AssociativeFunction

 Sigma KEE - AssociativeFunction
AssociativeFunction(结合函数)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2000-2003
No TPTP formula. May not be expressible in strict first order. Merge.kif 3412-3417
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 637-640
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8352-8352
No TPTP formula. May not be expressible in strict first order. Merge.kif 3410-3410 结合函数 是 二元函数 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 208-208
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 207-207
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 206-206
No TPTP formula. May not be expressible in strict first order. Merge.kif 4709-4709 加法函数 是 结合函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4984-4984 较大值函数 是 结合函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5010-5010 较小值函数 是 结合函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4696-4696 乘法函数 是 结合函数 的 instance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 921-921
No TPTP formula. May not be expressible in strict first order. english_format.kif 1049-1049
No TPTP formula. May not be expressible in strict first order. french_format.kif 597-597
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 127-127
No TPTP formula. May not be expressible in strict first order. terms-it.txt 130-130
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2282-2282
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 549-549
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 164-164
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 618-618
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 131-131

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3419-3429


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