![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(subclass TamarindFruit Fruit) | Food.kif 3487-3487 |
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 |
![]() |
![]() |