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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommutativeFunction

 Sigma KEE - CommutativeFunction
CommutativeFunction

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2004-2006
No TPTP formula. May not be expressible in strict first order. Merge.kif 3432-3436
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 641-644
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8430-8430
No TPTP formula. May not be expressible in strict first order. Merge.kif 3430-3430 子類 CommutativeFunction and BinaryFunction

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 496-496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 495-495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 494-494
No TPTP formula. May not be expressible in strict first order. Merge.kif 4709-4709 例 加成 and CommutativeFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 4984-4984 例 最大 and CommutativeFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 5010-5010 例 分 and CommutativeFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 4696-4696 例 乘法 and CommutativeFunction
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 922-922
No TPTP formula. May not be expressible in strict first order. english_format.kif 1051-1051
No TPTP formula. May not be expressible in strict first order. french_format.kif 598-598
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 128-128
No TPTP formula. May not be expressible in strict first order. terms-it.txt 131-131
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2283-2283
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 550-550
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 165-165
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 619-619
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 132-132

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3438-3448


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