| (=> (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 4870-4881 | |
| (=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree)) |
Economy.kif 5031-5037 | |
| (=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant)) |
Economy.kif 4967-4972 | |
| (=> (and (subclass ?CLASS Seed) (equal ?CLASS Clover)) (initialPart ?CLASS CloverPlant)) |
Economy.kif 5179-5183 | |
| (subclass Seed ReproductiveBody) | Merge.kif 15189-15189 | |
| (subclass Seed PlantAnatomicalStructure) | Merge.kif 15190-15190 | |
| (subclass Sesame Seed) | Food.kif 3398-3398 | |
| (subclass CerealGrain Seed) | Economy.kif 4363-4363 | |
| (subclass Pea Seed) | Economy.kif 4449-4449 | |
| (subclass NorfolkIslandPineSeed Seed) | Economy.kif 4835-4835 | |
| (subclass KentiaPalmSeed Seed) | Economy.kif 4838-4838 | |
| (subclass SunflowerSeed Seed) | Economy.kif 4841-4841 | |
| (subclass Oilseed Seed) | Economy.kif 4847-4847 | |
| (subclass CoffeeBean Seed) | Economy.kif 4962-4962 | |
| (subclass CocoaBean Seed) | Economy.kif 5024-5024 |
|
|