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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Peanut
Peanut

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


(externalImage Peanut "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 88/ Peanuts.jpg/ 408px-Peanuts.jpg") pictureList.kif 1447-1447
(subclass Peanut EdibleNut) Economy.kif 4031-4031 subclass Peanut and EdibleNut

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


(industryProductType PeanutFarming Peanut) Economy.kif 5082-5082 industryProductType PeanutFarming and Peanut
(termFormat ChineseLanguage Peanut "花生") domainEnglishFormat.kif 44827-44827
(termFormat ChineseTraditionalLanguage Peanut "花生") domainEnglishFormat.kif 44826-44826
(termFormat EnglishLanguage Peanut "peanut") domainEnglishFormat.kif 44825-44825

statement
-------------------------


(subclass
    (DeadFn Peanut) GroceryProduce)
Economy.kif 4030-4030 subclass DeadFn Peanut and GroceryProduce


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners