| appearance as argument number 1 |
|
| (documentation EvergreenTree EnglishLanguage "EvergreenTrees are BotanicalTrees that do not shed their PlantLeaf(ves).") | Geography.kif 6613-6614 | |
| (subclass EvergreenTree BotanicalTree) | Geography.kif 6612-6612 | Evergreen tree is a subclass of botanical tree |
| appearance as argument number 2 |
|
|
| (disjoint DeciduousTree EvergreenTree) | Geography.kif 6457-6457 | Deciduous tree is disjoint from evergreen tree |
| (subclass CocoaTree EvergreenTree) | Economy.kif 4911-4911 | Cocoa tree is a subclass of evergreen tree |
| (subclass Conifers EvergreenTree) | Geography.kif 6623-6623 | Conifers is a subclass of evergreen tree |
| (subclass TeaPlant EvergreenTree) | Economy.kif 4933-4933 | TeaPlant is a subclass of evergreen tree |
| (termFormat EnglishLanguage EvergreenTree "evergreen tree") | domainEnglishFormat.kif 64860-64860 | TeaPlant is a subclass of evergreen tree |
| antecedent |
|
|
| (=> (and (instance ?T EvergreenTree) (instance ?L PlantLeaf)) (not (sheddingLeaves ?T ?L))) |
Geography.kif 6616-6621 |
|
|
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