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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoplarTree
PoplarTree(Poplar tree)

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


(documentation PoplarTree EnglishLanguage "PoplarTree is a genus of 25-30 species in the family of Salicaceae.[Wikipedia]") Geography.kif 6582-6582
(relatedInternalConcept PoplarTree PoplarWood) Geography.kif 6581-6581 Poplar tree is internally related to Poplar wood
(subclass PoplarTree DeciduousTree) Geography.kif 6580-6580 Poplar tree is a subclass of deciduous tree

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


(termFormat EnglishLanguage PoplarTree "Poplar tree") domainEnglishFormat.kif 65361-65361

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PoplarWood)
        (subclass ?S PlantStem))
    (initialPart ?S PoplarTree))
Economy.kif 5568-5573

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


(equal
    (JankaHardnessFn PoplarTree)
    (MeasureFn 540 PoundForce))
Mid-level-ontology.kif 9990-9990 The Janka Hardness of Poplar tree is is equal to 540 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