No TPTP formula. May not be expressible in strict first order. | Food.kif 2435-2435 | Chocolate is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2441-2441 | Cocoa liquor is a subclass of chocolate |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2480-2480 | Cocoa solid is a subclass of chocolate |
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 2495-2495 | Chocolate candy is a subclass of chocolate |