| 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 | Evergreen tree is a subclass of botanical tree |
| appearance as argument number 2 |
|
|
| (disjoint DeciduousTree EvergreenTree) | Geography.kif 6389-6389 | Deciduous tree is disjoint from evergreen tree |
| (subclass CocoaTree EvergreenTree) | Economy.kif 4701-4701 | Cocoa tree is a subclass of evergreen tree |
| (subclass Conifers EvergreenTree) | Geography.kif 6555-6555 | Conifers is a subclass of evergreen tree |
| (subclass TeaPlant EvergreenTree) | Economy.kif 4723-4723 | TeaPlant is a subclass of evergreen tree |
| (termFormat EnglishLanguage EvergreenTree "evergreen tree") | domainEnglishFormat.kif 64885-64885 | TeaPlant is a subclass of evergreen tree |
| antecedent |
|
|
| (=> (and (instance ?T EvergreenTree) (instance ?L PlantLeaf)) (not (sheddingLeaves ?T ?L))) |
Geography.kif 6548-6553 |
|
|
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