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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EdibleNut

Sigma KEE - EdibleNut
EdibleNut

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


(externalImage EdibleNut "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Hazelnuts.jpg") pictureList.kif 140-140
(subclass EdibleNut FruitOrVegetable) Economy.kif 4162-4162
(subclass EdibleNut ReproductiveBody) Economy.kif 4155-4155

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


(industryProductType TreeNutFarming EdibleNut) Economy.kif 5242-5242
(subclass AlmondNut EdibleNut) Food.kif 401-401
(subclass CashewNut EdibleNut) Food.kif 491-491
(subclass MacademiaNut EdibleNut) Economy.kif 4168-4168
(subclass PalmOilNut EdibleNut) Economy.kif 4214-4214
(subclass Peanut EdibleNut) Economy.kif 4177-4177
(subclass PecanNut EdibleNut) Economy.kif 4166-4166
(subclass SheaNut EdibleNut) Economy.kif 4170-4170
(subclass Walnut EdibleNut) Economy.kif 4164-4164
(termFormat ChineseLanguage EdibleNut "食用坚果") domainEnglishFormat.kif 21225-21225
(termFormat ChineseTraditionalLanguage EdibleNut "食用堅果") domainEnglishFormat.kif 21224-21224
(termFormat EnglishLanguage EdibleNut "edible nut") domainEnglishFormat.kif 21223-21223

antecedent
-------------------------


(=>
    (equal ?C
        (DeadFn EdibleNut))
    (subclass ?C GroceryProduce))
Economy.kif 4157-4160


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