(=> (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 | BotanicalTree は WoodyPlant の subclass では %n |
(subclass DeciduousTree BotanicalTree) | Geography.kif 6388-6388 | DeciduousTree は BotanicalTree の subclass では %n |
(subclass EvergreenTree BotanicalTree) | Geography.kif 6544-6544 | EvergreenTree は BotanicalTree の subclass では %n |