No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4690-4691 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2490-2491 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4702-4704 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2492-2492 |
%每个 可可脂 是 CocoaLiquor 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2487-2487 |
roomTempState 可可脂 and 乳胶 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2489-2489 |
roomTempState 可可脂 and 固体 |
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 2486-2486 |
可可脂 是 植物油 的 subclass |