TamarindFruit(tamarind fruit) | tamarind, tamarindo |
appearance as argument number 1 |
(subclass TamarindFruit Fruit) | Food.kif 3487-3487 | Tamarind fruit is a subclass of fruit |
appearance as argument number 2 |
(termFormat EnglishLanguage TamarindFruit "tamarind fruit") | domainEnglishFormat.kif 65580-65580 |
antecedent |
(=> (equal ?P (PlantFn TamarindFruit)) (subclass ?P BotanicalTree)) |
Food.kif 3489-3491 |
|