| LeafyGreenVegetable(leafy green vegetable)
| | celtuce, leafy_green_vegetable, 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 | "http://upload.wikimedia.org/wikipedia/commons/3/36/ Spinach_produce-1.jpg" is a URL depicting leafy green vegetable |
| (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 499-499 | Arugula is a subclass of leafy green vegetable |
| (subclass Endive LeafyGreenVegetable) | Food.kif 603-603 | Endive is a subclass of leafy green vegetable |
| (subclass Lettuce LeafyGreenVegetable) | Food.kif 660-660 | Lettuce is a subclass of leafy green vegetable |
| (subclass Radicchio LeafyGreenVegetable) | Food.kif 820-820 | Radicchio is a subclass of leafy green vegetable |
| (subclass RomaineLettuce LeafyGreenVegetable) | Food.kif 835-835 | RomaineLettuce is a subclass of leafy green vegetable |
| (subclass Spinach LeafyGreenVegetable) | Food.kif 951-951 | Spinach is a subclass of leafy green vegetable |
| (termFormat EnglishLanguage LeafyGreenVegetable "leafy green vegetable") | domainEnglishFormat.kif 6030-6030 | "leafy green vegetable" is the printable form of leafy green vegetable in english language |
| statement |
|
|
| (subclass (DeadFn LeafyGreenVegetable) GroceryProduce) |
Economy.kif 3837-3837 | A dead leafy green vegetable is a subclass of grocery produce |
|
|
|