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

KB Term:  Term intersection
English Word: 

Sigma KEE - LeafyGreenVegetable
LeafyGreenVegetable(leafy green vegetable)
celtuce, salad_green, salad_greens

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


(subclass LeafyGreenVegetable Vegetable) Economy.kif 4542-4542 Leafy green vegetable is a subclass of vegetable
(externalImage LeafyGreenVegetable "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Spinach_produce-1.jpg") pictureList.kif 1440-1440 Leafy green vegetable is a subclass of vegetable

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


(subclass Arugula LeafyGreenVegetable) Food.kif 2139-2139 Arugula is a subclass of leafy green vegetable
(subclass Endive LeafyGreenVegetable) Food.kif 2588-2588 Endive is a subclass of leafy green vegetable
(subclass Lettuce LeafyGreenVegetable) Food.kif 2645-2645 Lettuce is a subclass of leafy green vegetable
(subclass Radicchio LeafyGreenVegetable) Food.kif 3353-3353 Radicchio is a subclass of leafy green vegetable
(subclass RomaineLettuce LeafyGreenVegetable) Food.kif 3366-3366 Romaine lettuce is a subclass of leafy green vegetable
(subclass Spinach LeafyGreenVegetable) Food.kif 3510-3510 Spinach is a subclass of leafy green vegetable
(termFormat EnglishLanguage LeafyGreenVegetable "leafy green vegetable") domainEnglishFormat.kif 33673-33673 Spinach is a subclass of leafy green vegetable
(termFormat ChineseTraditionalLanguage LeafyGreenVegetable "綠葉蔬菜") domainEnglishFormat.kif 33674-33674 Spinach is a subclass of leafy green vegetable
(termFormat ChineseLanguage LeafyGreenVegetable "绿叶蔬菜") domainEnglishFormat.kif 33675-33675 Spinach is a subclass of leafy green vegetable

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


(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))		 Economy.kif 4546-4550 If X is a subclass of plant leaf and equal X and leafy green vegetable, then every X is initially part of a plant


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners