Chocolate
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2436-2438 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2439-2439 | Every chocolate is initially part of a cocoa bean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2435-2435 | Chocolate is a subclass of prepared food |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2495-2495 | Chocolate candy 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 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. | domainEnglishFormat.kif 64631-64631 |