| Walnut(walnut)
| | English_walnut, black_walnut, walnut |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1464-1464 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4472-4472 | Walnut is a subclass of edible nut |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62121-62121 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62120-62120 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62119-62119 |
|
|
|