| No TPTP formula. May not be expressible in strict first order. | Dining.kif 189-201 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | 已准备食物 是 Food 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 309-309 | 已准备食物 是 混合物 的 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 389-389 | 饮料 是 已准备食物 的 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 1555-1555 | 面包或饼干 是 已准备食物 的 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 1599-1599 | 面团 是 已准备食物 的 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. | Food.kif 1748-1748 | Jam 是 已准备食物 的 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 2125-2125 | CuredMeat 是 已准备食物 的 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 2737-2737 | Pasta 是 已准备食物 的 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 2817-2817 | 乳制品 是 已准备食物 的 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 3440-3440 | Sorbet 是 已准备食物 的 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. | Economy.kif 4359-4359 | 香料 是 已准备食物 的 subclass |
|
|