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