| No TPTP formula. May not be expressible in strict first order. | Food.kif 2643-2643 | Liqueur is a subclass of distilled alcoholic beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2091-2091 | Amaretto is a subclass of liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2145-2145 | Baileys is a subclass of liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2431-2431 | Chambord is a subclass of liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2538-2538 | Cointreau is a subclass of liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2612-2612 | Kahlua is a subclass of liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2653-2653 | Grand Marnier is a subclass of liqueur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3367-3367 | Schnapps is a subclass of liqueur |
|
|