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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Groundnut

Sigma KEE - Groundnut
Groundnut(groundnut)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1439-1439
No TPTP formula. May not be expressible in strict first order. Economy.kif 4185-4185 Groundnut is a subclass of edible tuber
No TPTP formula. May not be expressible in strict first order. Economy.kif 4184-4184 Groundnut is a subclass of fruit or vegetable

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26691-26691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26690-26690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26689-26689

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4179-4182


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