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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - WhiteOakTree
WhiteOakTree

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 6979-6980
(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 6978-6978 WhiteOakTreeWhiteOakWood 是 内部相关
(subclass WhiteOakTree DeciduousTree) Geography.kif 6977-6977 WhiteOakTreeDeciduousTreesubclass

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


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

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 10426-10426 equal JankaHardnessFn WhiteOakTree and 1360 磅力


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