| No TPTP formula. May not be expressible in strict first order. | Food.kif 2435-2435 | 子類 Chocolate and 已準備食物 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2441-2441 | 子類 CocoaLiquor and Chocolate |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2480-2480 | 子類 可可粉 and Chocolate |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2488-2488 | 子類 可可脂 and Chocolate |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2495-2495 | 子類 巧克力糖 and Chocolate |
|
|