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