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 花生 是 食用块茎 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4486-4486 花生 是 水果或蔬菜 的 subclass

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"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4489-4489 花生 的名 是 "花生"
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