| CashewNut | |
| appearance as argument number 1 |
|
|
| (subclass CashewNut EdibleNut) | Food.kif 2426-2426 | CashewNut は EdibleNut の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CashewNut "腰果") | domainEnglishFormat.kif 13383-13383 | |
| (termFormat ChineseTraditionalLanguage CashewNut "腰果") | domainEnglishFormat.kif 13382-13382 | |
| (termFormat EnglishLanguage CashewNut "cashew nut") | domainEnglishFormat.kif 13381-13381 |
| antecedent |
|
|
| (=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree)) |
Food.kif 2428-2430 |
|
|
|