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