| (=> (subclass ?CLASS Coffee) (initialPart CoffeeBean ?CLASS)) |
Food.kif 645-647 | |
| (subclass Coffee Beverage) | Food.kif 628-628 | |
| (subclass Espresso Coffee) | Food.kif 739-739 | |
| (subclass Lungo Coffee) | Food.kif 764-764 | |
| (subclass Cappuccino Coffee) | Food.kif 1264-1264 | |
| (subclass Americano Coffee) | Food.kif 1303-1303 | |
| (subclass FlatWhite Coffee) | Food.kif 1334-1334 | |
| (subclass Latte Coffee) | Food.kif 1387-1387 | |
| (subclass LongBlack Coffee) | Food.kif 1417-1417 | |
| (subclass VietnameseCoffee Coffee) | Food.kif 1452-1452 | |
| (subclass TurkishCoffee Coffee) | Food.kif 1453-1453 | |
| (subclass Manilo Coffee) | Food.kif 1454-1454 | |
| (subclass Instant Coffee) | Food.kif 1455-1455 |
|
|