| 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 3836-3836 | subclass LeafyGreenVegetable and Vegetable |
| appearance as argument number 2 |
|
|
| (subclass Arugula LeafyGreenVegetable) | Food.kif 454-454 | subclass Arugula and LeafyGreenVegetable |
| (subclass Endive LeafyGreenVegetable) | Food.kif 558-558 | subclass Endive and LeafyGreenVegetable |
| (subclass Lettuce LeafyGreenVegetable) | Food.kif 615-615 | subclass Lettuce and LeafyGreenVegetable |
| (subclass Radicchio LeafyGreenVegetable) | Food.kif 775-775 | subclass Radicchio and LeafyGreenVegetable |
| (subclass RomaineLettuce LeafyGreenVegetable) | Food.kif 790-790 | subclass RomaineLettuce and LeafyGreenVegetable |
| (subclass Spinach LeafyGreenVegetable) | Food.kif 906-906 | subclass Spinach and LeafyGreenVegetable |
| (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 | subclass DeadFn LeafyGreenVegetable and GroceryProduce |
|
|
|