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 1440-1440
(subclass LeafyGreenVegetable Vegetable) Economy.kif 4547-4547 LeafyGreenVegetable は Vegetable の subclass では

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


(subclass Arugula LeafyGreenVegetable) Food.kif 2128-2128 Arugula は LeafyGreenVegetable の subclass では
(subclass Endive LeafyGreenVegetable) Food.kif 2571-2571 Endive は LeafyGreenVegetable の subclass では
(subclass Lettuce LeafyGreenVegetable) Food.kif 2626-2626 Lettuce は LeafyGreenVegetable の subclass では
(subclass Radicchio LeafyGreenVegetable) Food.kif 3328-3328 Radicchio は LeafyGreenVegetable の subclass では
(subclass RomaineLettuce LeafyGreenVegetable) Food.kif 3341-3341 RomaineLettuce は LeafyGreenVegetable の subclass では
(subclass Spinach LeafyGreenVegetable) Food.kif 3481-3481 Spinach は LeafyGreenVegetable の subclass では
(termFormat ChineseLanguage LeafyGreenVegetable "绿叶蔬菜") domainEnglishFormat.kif 33682-33682 Spinach は LeafyGreenVegetable の subclass では
(termFormat ChineseTraditionalLanguage LeafyGreenVegetable "綠葉蔬菜") domainEnglishFormat.kif 33681-33681 Spinach は LeafyGreenVegetable の subclass では
(termFormat EnglishLanguage LeafyGreenVegetable "leafy green vegetable") domainEnglishFormat.kif 33680-33680 Spinach は LeafyGreenVegetable の subclass では

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


(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))		 Economy.kif 4551-4555


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 3.0 is open source software produced by Articulate Software and its partners