| (subclass EvergreenTree BotanicalTree) | Geography.kif 6544-6544 | EvergreenTree は BotanicalTree の subclass では %n |
| (subclass Conifers EvergreenTree) | Geography.kif 6555-6555 | Conifers は EvergreenTree の subclass では %n |
| (subclass CocoaTree EvergreenTree) | Economy.kif 4701-4701 | CocoaTree は EvergreenTree の subclass では %n |
| (subclass TeaPlant EvergreenTree) | Economy.kif 4723-4723 | TeaPlant は EvergreenTree の subclass では %n |
|
|