(=> (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 | |
(=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree)) |
Economy.kif 4693-4699 | |
(=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant)) |
Economy.kif 4629-4634 | |
(=> (and (subclass ?CLASS Seed) (equal ?CLASS Clover)) (initialPart ?CLASS CloverPlant)) |
Economy.kif 4839-4843 | |
(subclass Seed ReproductiveBody) | Merge.kif 15036-15036 | |
(subclass Seed PlantAnatomicalStructure) | Merge.kif 15037-15037 | |
(subclass Sesame Seed) | Food.kif 3391-3391 | |
(subclass CerealGrain Seed) | Economy.kif 4026-4026 | |
(subclass Pea Seed) | Economy.kif 4112-4112 | |
(subclass NorfolkIslandPineSeed Seed) | Economy.kif 4497-4497 | |
(subclass KentiaPalmSeed Seed) | Economy.kif 4500-4500 | |
(subclass SunflowerSeed Seed) | Economy.kif 4503-4503 | |
(subclass Oilseed Seed) | Economy.kif 4509-4509 | |
(subclass CoffeeBean Seed) | Economy.kif 4624-4624 | |
(subclass CocoaBean Seed) | Economy.kif 4686-4686 |