(=> (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 OilFromPlant Oil) | Economy.kif 4526-4526 | Oil from plant is a subclass of oil |
(subclass TeaTreeOil OilFromPlant) | Economy.kif 4545-4545 | Tea tree oil is a subclass of oil from plant |
(subclass VegetableOil OilFromPlant) | Economy.kif 4558-4558 | Vegetable oil is a subclass of oil from plant |