(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant)) |
Economy.kif 4277-4281 | |
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant)) |
Economy.kif 4223-4227 | |
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P)))) |
Economy.kif 4532-4543 | |
(subclass Fruit FruitOrVegetable) | Food.kif 2175-2175 | |
(subclass Apple Fruit) | Food.kif 2179-2179 | |
(subclass DateFruit Fruit) | Food.kif 2188-2188 | |
(subclass PearFruit Fruit) | Food.kif 2193-2193 | |
(subclass Berry Fruit) | Food.kif 2198-2198 | |
(subclass Avocado Fruit) | Food.kif 2281-2281 | |
(subclass Tomato Fruit) | Food.kif 2286-2286 | |
(subclass Grape Fruit) | Food.kif 2288-2288 | |
(subclass Melon Fruit) | Food.kif 2290-2290 | |
(subclass Olive Fruit) | Food.kif 2294-2294 | |
(subclass CitrusFruit Fruit) | Food.kif 2325-2325 | |
(subclass TropicalFruit Fruit) | Food.kif 2364-2364 | |
(subclass Peach Fruit) | Food.kif 2758-2758 | |
(subclass Strawberry Fruit) | Food.kif 3481-3481 | |
(subclass TamarindFruit Fruit) | Food.kif 3487-3487 | |
(subclass WineGrape Fruit) | Economy.kif 4730-4730 |