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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WhiteOakTree
WhiteOakTree(white oak tree)

appearance as argument number 1
-------------------------


(documentation WhiteOakTree EnglishLanguage "WhiteOakTree is known as Quercus alba. It is native to eastern and central NorthAmerica.[Wikipedia]") Geography.kif 6538-6539
(externalImage WhiteOakTree "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Sivry-Rance_AR1aJPG.jpg") pictureList.kif 8623-8623
(externalImage WhiteOakTree "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Quercus_robur_JPG_%28d2%29.jpg") pictureList.kif 9479-9479
(externalImage WhiteOakTree "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Quercus_robur.jpg") pictureList.kif 9480-9480
(relatedInternalConcept WhiteOakTree WhiteOakWood) Geography.kif 6537-6537 White oak tree is internally related to white oak wood
(subclass WhiteOakTree DeciduousTree) Geography.kif 6536-6536 White oak tree is a subclass of deciduous tree

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage WhiteOakTree "white oak tree") domainEnglishFormat.kif 65733-65733

consequent
-------------------------


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WhiteOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S WhiteOakTree))
Economy.kif 5398-5403


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