| 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 | 子類 咖啡 and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 739-739 | 子類 Espresso and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 764-764 | 子類 Lungo and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1264-1264 | 子類 Cappuccino and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1303-1303 | 子類 Americano and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1334-1334 | 子類 FlatWhite and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1387-1387 | 子類 Latte and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1417-1417 | 子類 LongBlack and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1452-1452 | 子類 VietnameseCoffee and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1453-1453 | 子類 TurkishCoffee and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1454-1454 | 子類 Manilo and 咖啡 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1455-1455 | 子類 Instant and 咖啡 |
|
|