| (=> (subclass ?CLASS Coffee) (initialPart CoffeeBean ?CLASS)) |
Food.kif 645-647 |
|
| (=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant)) |
Economy.kif 4629-4634 |
|
| (subclass CoffeeBean Seed) | Economy.kif 4624-4624 | CoffeeBean ist eine teilkategorie von Seed |
| (subclass CoffeeBean FoodFromPlant) | Economy.kif 4625-4625 | CoffeeBean ist eine teilkategorie von FoodFromPlant |
| (subclass CoffeeArabica CoffeeBean) | Economy.kif 4636-4636 | CoffeeArabica ist eine teilkategorie von CoffeeBean |
| (subclass CoffeeRobusta CoffeeBean) | Economy.kif 4660-4660 | CoffeeRobusta ist eine teilkategorie von CoffeeBean |
|
|