No TPTP formula. May not be expressible in strict first order. |
Food.kif 389-389 |
饮料 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1555-1555 |
面包或饼干 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2435-2435 |
Chocolate 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1575-1575 |
CookedDish 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2125-2125 |
CuredMeat 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2817-2817 |
乳制品 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1599-1599 |
面团 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 218-218 |
饮用水 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2778-2778 |
FermentedFood 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1469-1469 |
面粉 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1748-1748 |
Jam 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2737-2737 |
Pasta 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3322-3322 |
Raisin 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2061-2061 |
Sauce 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3440-3440 |
Sorbet 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1618-1618 |
高汤 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4359-4359 |
香料 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3508-3508 |
Tofu 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47210-47210 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47209-47209 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 313-313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47208-47208 |
|