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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Eggplant

Sigma KEE - Eggplant
Eggplant

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


(externalImage Eggplant "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ food/ vegetables/ eggplant/ eggplant.png") pictureList.kif 407-407
(subclass Eggplant Vegetable) Economy.kif 3871-3871

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


(termFormat ChineseLanguage Eggplant "茄子") domainEnglishFormat.kif 21321-21321
(termFormat ChineseTraditionalLanguage Eggplant "茄子") domainEnglishFormat.kif 21320-21320
(termFormat EnglishLanguage Eggplant "eggplant") domainEnglishFormat.kif 21319-21319

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


(=>
    (equal ?C
        (DeadFn Eggplant))
    (subclass ?C GroceryProduce))
Economy.kif 3873-3876


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