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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Legume
Legume(豆科植物)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4337-4339
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1441-1441
No TPTP formula. May not be expressible in strict first order. Economy.kif 4336-4336 豆科植物 是 水果或蔬菜 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4831-4831 苜蓿 是 豆科植物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4340-4340 豆 是 豆科植物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4845-4845 苜 是 豆科植物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4348-4348 牛豌豆 是 豆科植物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4347-4347 豌豆 是 豆科植物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4349-4349 脉动 是 豆科植物 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33929-33929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33928-33928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33927-33927


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