No TPTP formula. May not be expressible in strict first order. |
Food.kif 2091-2091 |
Amaretto e' uma sub-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2145-2145 |
Baileys e' uma sub-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2431-2431 |
Chambord e' uma sub-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2538-2538 |
Cointreau e' uma sub-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2653-2653 |
GrandMarnier e' uma sub-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2612-2612 |
Kahlua e' uma sub-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3367-3367 |
Schnapps e' uma sub-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65119-65119 |
|