| appearance as argument number 1 |
|
| (documentation EvergreenTree EnglishLanguage "EvergreenTrees are BotanicalTrees that do not shed their PlantLeaf(ves).") | Geography.kif 6848-6849 | |
| (subclass EvergreenTree BotanicalTree) | Geography.kif 6847-6847 | EvergreenTree 是 植物树 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint DeciduousTree EvergreenTree) | Geography.kif 6692-6692 | DeciduousTree 和 % 2 是 disjoint |
| (subclass CocoaTree EvergreenTree) | Economy.kif 5039-5039 | 可可樹 是 EvergreenTree 的 subclass |
| (subclass Conifers EvergreenTree) | Geography.kif 6858-6858 | Conifers 是 EvergreenTree 的 subclass |
| (subclass TeaPlant EvergreenTree) | Economy.kif 5061-5061 | TeaPlant 是 EvergreenTree 的 subclass |
| (termFormat EnglishLanguage EvergreenTree "evergreen tree") | domainEnglishFormat.kif 64831-64831 | TeaPlant 是 EvergreenTree 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?T EvergreenTree) (instance ?L PlantLeaf)) (not (sheddingLeaves ?T ?L))) |
Geography.kif 6851-6856 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners