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