| LeafyGreenVegetable(leafy green vegetable)
| | celtuce, salad_green, salad_greens |
| 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 3836-3836 | Leafy green vegetable is a subclass of vegetable |
| appearance as argument number 2 |
|
|
| (subclass Arugula LeafyGreenVegetable) | Food.kif 454-454 | Arugula is a subclass of leafy green vegetable |
| (subclass Endive LeafyGreenVegetable) | Food.kif 558-558 | Endive is a subclass of leafy green vegetable |
| (subclass Lettuce LeafyGreenVegetable) | Food.kif 615-615 | Lettuce is a subclass of leafy green vegetable |
| (subclass Radicchio LeafyGreenVegetable) | Food.kif 775-775 | Radicchio is a subclass of leafy green vegetable |
| (subclass RomaineLettuce LeafyGreenVegetable) | Food.kif 790-790 | RomaineLettuce is a subclass of leafy green vegetable |
| (subclass Spinach LeafyGreenVegetable) | Food.kif 906-906 | Spinach is a subclass of leafy green vegetable |
| (termFormat ChineseLanguage LeafyGreenVegetable "绿叶蔬菜") | domainEnglishFormat.kif 33565-33565 | |
| (termFormat ChineseTraditionalLanguage LeafyGreenVegetable "綠葉蔬菜") | domainEnglishFormat.kif 33564-33564 | |
| (termFormat EnglishLanguage LeafyGreenVegetable "leafy green vegetable") | domainEnglishFormat.kif 33563-33563 |
| statement |
|
|
| (subclass (DeadFn LeafyGreenVegetable) GroceryProduce) |
Economy.kif 3837-3837 | A dead leafy green vegetable is a subclass of grocery produce |
|
|
|