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 2653-2653 |
Grand Marnier 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 3367-3367 |
Schnapps is a subclass of liqueur |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65119-65119 |
|