| (=> (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 FloweringPlant Plant) | Merge.kif 14404-14404 | 顕花植物 は 植物 の subclass では %n |
| (subclass HerbaceousPlant FloweringPlant) | Mid-level-ontology.kif 9356-9356 | HerbaceousPlant は 顕花植物 の subclass では %n |
| (subclass WoodyPlant FloweringPlant) | Mid-level-ontology.kif 9364-9364 | WoodyPlant は 顕花植物 の subclass では %n |
| (subclass Vine FloweringPlant) | Geography.kif 6274-6274 | Vine は 顕花植物 の subclass では %n |
| (subclass Succulent FloweringPlant) | Geography.kif 6281-6281 | Succulent は 顕花植物 の subclass では %n |
| (subclass Cactus FloweringPlant) | Geography.kif 6295-6295 | Cactus は 顕花植物 の subclass では %n |
|
|