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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Groundnut

 Sigma KEE - Groundnut
Groundnut

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1438-1438
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1446-1446
No TPTP formula. May not be expressible in strict first order. Economy.kif 4487-4487 Groundnut est une sous-classe de EdibleTuber
No TPTP formula. May not be expressible in strict first order. Economy.kif 4486-4486 Groundnut est une sous-classe de fruit ou v�g�tal

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6202-6202 industryProductType PeanutFarming and Groundnut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4576-4576 initialPart GroundnutOil and Groundnut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4488-4488 Groundnut s'appele nom "peanut"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4489-4489 Groundnut s'appele nom "花生"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26700-26700
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26699-26699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26698-26698


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