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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 externalImage LeafyGreenVegetable and "http://upload.wikimedia.org/wikipedia/commons/3/36/ Spinach_produce-1.jpg"
(subclass LeafyGreenVegetable Vegetable) Economy.kif 3836-3836 subclass LeafyGreenVegetable and Vegetable

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


(subclass Arugula LeafyGreenVegetable) Food.kif 498-498 subclass Arugula and LeafyGreenVegetable
(subclass Endive LeafyGreenVegetable) Food.kif 602-602 subclass Endive and LeafyGreenVegetable
(subclass Lettuce LeafyGreenVegetable) Food.kif 659-659 subclass Lettuce and LeafyGreenVegetable
(subclass Radicchio LeafyGreenVegetable) Food.kif 819-819 subclass Radicchio and LeafyGreenVegetable
(subclass RomaineLettuce LeafyGreenVegetable) Food.kif 834-834 subclass RomaineLettuce and LeafyGreenVegetable
(subclass Spinach LeafyGreenVegetable) Food.kif 950-950 subclass Spinach and LeafyGreenVegetable
(termFormat ChineseLanguage LeafyGreenVegetable "绿叶蔬菜") domainEnglishFormat.kif 33583-33583 termFormat ChineseLanguage, LeafyGreenVegetable and "绿叶蔬菜"
(termFormat ChineseTraditionalLanguage LeafyGreenVegetable "綠葉蔬菜") domainEnglishFormat.kif 33582-33582 termFormat ChineseTraditionalLanguage, LeafyGreenVegetable and "綠葉蔬菜"
(termFormat EnglishLanguage LeafyGreenVegetable "leafy green vegetable") domainEnglishFormat.kif 33581-33581 termFormat EnglishLanguage, LeafyGreenVegetable and "leafy green vegetable"

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


(subclass
    (DeadFn LeafyGreenVegetable) GroceryProduce)		 Economy.kif 3837-3837 subclass DeadFn LeafyGreenVegetable 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