(subclass EvergreenTree BotanicalTree) | Geography.kif 6544-6544 | EvergreenTree è una sottoclasse di BotanicalTree |
(subclass Conifers EvergreenTree) | Geography.kif 6555-6555 | Conifers è una sottoclasse di EvergreenTree |
(subclass CocoaTree EvergreenTree) | Economy.kif 4701-4701 | CocoaTree è una sottoclasse di EvergreenTree |
(subclass TeaPlant EvergreenTree) | Economy.kif 4723-4723 | TeaPlant è una sottoclasse di EvergreenTree |