|
|
   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 3843-3843 |
| appearance as argument number 2 |
|
|
| (subclass Arugula LeafyGreenVegetable) | Food.kif 436-436 | |
| (subclass Endive LeafyGreenVegetable) | Food.kif 540-540 | |
| (subclass Lettuce LeafyGreenVegetable) | Food.kif 597-597 | |
| (subclass Radicchio LeafyGreenVegetable) | Food.kif 760-760 | |
| (subclass RomaineLettuce LeafyGreenVegetable) | Food.kif 775-775 | |
| (subclass Spinach LeafyGreenVegetable) | Food.kif 891-891 | |
| (termFormat ChineseLanguage LeafyGreenVegetable "绿叶蔬菜") | domainEnglishFormat.kif 33654-33654 | |
| (termFormat ChineseTraditionalLanguage LeafyGreenVegetable "綠葉蔬菜") | domainEnglishFormat.kif 33653-33653 | |
| (termFormat EnglishLanguage LeafyGreenVegetable "leafy green vegetable") | domainEnglishFormat.kif 33652-33652 |
| antecedent |
|
|
| (=> (equal ?C (DeadFn LeafyGreenVegetable)) (subclass ?C GroceryProduce)) |
Economy.kif 3845-3848 |
|
|
|
