| No TPTP formula. May not be expressible in strict first order. | Food.kif 645-647 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 628-628 | Coffee is a subclass of beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 739-739 | Espresso is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 764-764 | Lungo is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1264-1264 | Cappuccino is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1303-1303 | Americano is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1334-1334 | Flat white is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1387-1387 | Latte is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1417-1417 | Long black is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1452-1452 | VietnameseCoffee is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1453-1453 | TurkishCoffee is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1454-1454 | Manilo is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1455-1455 | Instant is a subclass of coffee |
|
|