No TPTP formula. May not be expressible in strict first order. |
Food.kif 2091-2091 |
Amaretto est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2145-2145 |
Baileys est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2431-2431 |
Chambord est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2538-2538 |
Cointreau est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2653-2653 |
GrandMarnier est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2612-2612 |
Kahlua est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3367-3367 |
Schnapps est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65121-65121 |
|