| 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 2441-2441 | CocoaLiquor 是 Chocolate 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2480-2480 | 可可粉 是 Chocolate 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2488-2488 | 可可脂 是 Chocolate 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2495-2495 | 巧克力糖 是 Chocolate 的 subclass |
|
|