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 子類 花生 and 食用塊莖
No TPTP formula. May not be expressible in strict first order. Economy.kif 4486-4486 子類 花生 and FruitOrVegetable

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6202-6202 花生 是 花生種植 的 industry 產品類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 4576-4576 %每個 GroundnutOil 是 花生 的 initially part
No TPTP formula. May not be expressible in strict first order. Economy.kif 4488-4488 名 "peanut" and 花生
No TPTP formula. May not be expressible in strict first order. Economy.kif 4489-4489 名 "花生" and 花生
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