| (=> (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 4647-4658 | |
| (subclass OilFromPlant Oil) | Economy.kif 4641-4641 | |
| (subclass TeaTreeOil OilFromPlant) | Economy.kif 4660-4660 | |
| (subclass VegetableOil OilFromPlant) | Economy.kif 4673-4673 |
|
|