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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeafyGreenVegetable

Sigma KEE - LeafyGreenVegetable
LeafyGreenVegetable

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


(externalImage LeafyGreenVegetable "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Spinach_produce-1.jpg") pictureList.kif 1441-1441
(subclass LeafyGreenVegetable Vegetable) Economy.kif 3843-3843

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


(subclass Arugula LeafyGreenVegetable) Food.kif 436-436
(subclass Endive LeafyGreenVegetable) Food.kif 540-540
(subclass Lettuce LeafyGreenVegetable) Food.kif 597-597
(subclass Radicchio LeafyGreenVegetable) Food.kif 760-760
(subclass RomaineLettuce LeafyGreenVegetable) Food.kif 775-775
(subclass Spinach LeafyGreenVegetable) Food.kif 891-891
(termFormat ChineseLanguage LeafyGreenVegetable "绿叶蔬菜") domainEnglishFormat.kif 33654-33654
(termFormat ChineseTraditionalLanguage LeafyGreenVegetable "綠葉蔬菜") domainEnglishFormat.kif 33653-33653
(termFormat EnglishLanguage LeafyGreenVegetable "leafy green vegetable") domainEnglishFormat.kif 33652-33652

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


(=>
    (equal ?C
        (DeadFn LeafyGreenVegetable))
    (subclass ?C GroceryProduce))
Economy.kif 3845-3848


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