| CashewNut | |
| appearance as argument number 1 |
|
|
| (subclass CashewNut EdibleNut) | Food.kif 2419-2419 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CashewNut "腰果") | domainEnglishFormat.kif 13385-13385 | |
| (termFormat ChineseTraditionalLanguage CashewNut "腰果") | domainEnglishFormat.kif 13384-13384 | |
| (termFormat EnglishLanguage CashewNut "cashew nut") | domainEnglishFormat.kif 13383-13383 |
| antecedent |
|
|
| (=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree)) |
Food.kif 2421-2423 |
|
|
|