EvergreenTree |
appearance as argument number 1 |
(documentation EvergreenTree EnglishLanguage "EvergreenTrees are BotanicalTrees that do not shed their PlantLeaf(ves).") | Geography.kif 6545-6546 | |
(subclass EvergreenTree BotanicalTree) | Geography.kif 6544-6544 | 子類 EvergreenTree and 植物樹 |
appearance as argument number 2 |
(disjoint DeciduousTree EvergreenTree) | Geography.kif 6389-6389 | 不相交的 DeciduousTree and EvergreenTree |
(subclass CocoaTree EvergreenTree) | Economy.kif 4701-4701 | 子類 可可樹 and EvergreenTree |
(subclass Conifers EvergreenTree) | Geography.kif 6555-6555 | 子類 Conifers and EvergreenTree |
(subclass TeaPlant EvergreenTree) | Economy.kif 4723-4723 | 子類 TeaPlant and EvergreenTree |
(termFormat EnglishLanguage EvergreenTree "evergreen tree") | domainEnglishFormat.kif 64837-64837 |
antecedent |
(=> (and (instance ?T EvergreenTree) (instance ?L PlantLeaf)) (not (sheddingLeaves ?T ?L))) |
Geography.kif 6548-6553 |
|