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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Walnut

 Sigma KEE - Walnut
Walnut(walnut)
English_walnut, black_walnut, walnut

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1464-1464
No TPTP formula. May not be expressible in strict first order. Economy.kif 4472-4472 Walnut is a subclass of edible nut

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62121-62121
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62120-62120
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62119-62119


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