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 6608-6609
(externalImage WhiteOakTree "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Sivry_Rance_AR1aJPG.jpg") pictureList.kif 8622-8622
(externalImage WhiteOakTree "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Quercus_robur_JPG_%28d2%29.jpg") pictureList.kif 9478-9478
(externalImage WhiteOakTree "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Quercus_robur.jpg") pictureList.kif 9479-9479
(relatedInternalConcept WhiteOakTree WhiteOakWood) Geography.kif 6607-6607 White oak tree is internally related to white oak wood
(subclass WhiteOakTree DeciduousTree) Geography.kif 6606-6606 White oak tree is a subclass of deciduous tree

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


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

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


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

statement
-------------------------


(equal
    (JankaHardnessFn WhiteOakTree)
    (MeasureFn 1360 PoundForce))
Mid-level-ontology.kif 10444-10444 The Janka Hardness of white oak tree is is equal to 1360 pound force(s)


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