No TPTP formula. May not be expressible in strict first order. |
Food.kif 2093-2093 |
Aperitif 是 蒸馏酒精饮料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3635-3635 |
白兰地 是 蒸馏酒精饮料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2643-2643 |
Liqueur 是 蒸馏酒精饮料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3338-3338 |
Rum 是 蒸馏酒精饮料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3494-3494 |
Tequila 是 蒸馏酒精饮料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3584-3584 |
Vodka 是 蒸馏酒精饮料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3606-3606 |
威士忌酒 是 蒸馏酒精饮料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19944-19944 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19943-19943 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19942-19942 |
|