No TPTP formula. May not be expressible in strict first order. |
Food.kif 2495-2495 |
子類 巧克力糖 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 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. |
domainEnglishFormat.kif 64631-64631 |
|