(=> (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 9477-9477 | 子類 植物樹 and WoodyPlant |
(subclass DeciduousTree BotanicalTree) | Geography.kif 6388-6388 | 子類 DeciduousTree and 植物樹 |
(subclass EvergreenTree BotanicalTree) | Geography.kif 6544-6544 | 子類 EvergreenTree and 植物樹 |