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 |
Every cocoa butter is initially part of a cocoa liquor |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2487-2487 |
roomTempState cocoa butter and emulsion |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2489-2489 |
roomTempState cocoa butter and solid |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2488-2488 |
Cocoa butter is a subclass of chocolate |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2486-2486 |
Cocoa butter is a subclass of vegetable oil |