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(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 is a subclass of edible tuber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4486-4486	Groundnut is a subclass of fruit or vegetable

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6202-6202	Groundnut is an industry product type of peanut farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4576-4576	Every ground nut oil is initially part of a groundnut
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4488-4488	Groundnut has name "peanut"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4489-4489	Groundnut has name "花生"
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