| No TPTP formula. May not be expressible in strict first order. | Food.kif 2643-2643 | 子類 Liqueur and 蒸餾酒精飲料 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2091-2091 | 子類 Amaretto and Liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2145-2145 | 子類 Baileys and Liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2431-2431 | 子類 Chambord and Liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2538-2538 | 子類 Cointreau and Liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2612-2612 | 子類 Kahlua and Liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2653-2653 | 子類 GrandMarnier and Liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3367-3367 | 子類 Schnapps and Liqueur |
|
|