| Chocolate(chocolate) | | Hershey_bar, baking_chocolate, bitter_chocolate, choc, chocolate, chocolate_bar, chocolate_candy, chocolate_sauce, chocolate_syrup, cooking_chocolate, couverture, jimmies, milk_chocolate, nonpareil, sprinkles |
| 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 |
|
|
|