| (=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree)) |
Food.kif 2421-2423 | |
| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WoodProduct) (subclass ?S PlantStem)) (exists (?T) (and (subclass ?T BotanicalTree) (initialPart ?S ?T)))) |
Economy.kif 5235-5244 | |
| (=> (equal ?P (PlantFn TamarindFruit)) (subclass ?P BotanicalTree)) |
Food.kif 3489-3491 | |
| (subclass BotanicalTree WoodyPlant) | Mid-level-ontology.kif 9478-9478 | |
| (subclass DeciduousTree BotanicalTree) | Geography.kif 6388-6388 | |
| (subclass EvergreenTree BotanicalTree) | Geography.kif 6544-6544 |
|
|