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



KB Term:  Term intersection
English Word: 

  WhiteOakTree

Sigma KEE - WhiteOakTree
WhiteOakTree(white oak tree)

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


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

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


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

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WhiteOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S WhiteOakTree))
Economy.kif 5747-5752 If equal X and Object made from Y, X is a subclass of white oak wood, and Y is a subclass of plant stem, then every Y is initially part of a white oak tree

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


(equal
    (JankaHardnessFn WhiteOakTree)
    (MeasureFn 1360 PoundForce))
Geography.kif 8169-8169 equal The Janka Hardness of white oak tree is and 1360 pound force(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners