| Coffee(咖啡)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 632-633 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 356-356 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 634-634 | %每个 咖啡 是 咖啡豆 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 630-630 | 咖啡 和 CoffeeGrindAttribute 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 631-631 | 咖啡 和 CoffeeRoastAttribute 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 629-629 | roomTempState 咖啡 and 液体 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 628-628 | 咖啡 是 饮料 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1303-1303 | Americano 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1264-1264 | Cappuccino 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 739-739 | Espresso 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1334-1334 | FlatWhite 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1455-1455 | Instant 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1387-1387 | Latte 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1417-1417 | LongBlack 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 764-764 | Lungo 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1454-1454 | Manilo 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1453-1453 | TurkishCoffee 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1452-1452 | VietnameseCoffee 是 咖啡 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15488-15488 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15487-15487 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15486-15486 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 635-635 | 咖啡 typically 有 part Caffeine |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1731-1746 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 637-639 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 641-643 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 645-647 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 379-387 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 657-662 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 686-701 |
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 36-44 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 792-797 |
|
|
|