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 6606-6607
(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 6605-6605 White oak tree is internally related to white oak wood
(subclass WhiteOakTree DeciduousTree) Geography.kif 6604-6604 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 5608-5613

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


(equal
    (JankaHardnessFn WhiteOakTree)
    (MeasureFn 1360 PoundForce))
Mid-level-ontology.kif 9993-9993 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