TreeView Knowledge Base Browser - Groundnut

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 e' uma sub-classe de EdibleTuber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4486-4486	Groundnut e' uma sub-classe de Fruta ou Vegetal

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 se chama nome "peanut"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4489-4489	Groundnut se chama nome "花生"
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