Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EvergreenTree
EvergreenTree(evergreen tree)

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