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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoplarTree
PoplarTree

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


(documentation PoplarTree EnglishLanguage "PoplarTree is a genus of 25-30 species in the family of Salicaceae.[Wikipedia]") Geography.kif 6584-6584
(relatedInternalConcept PoplarTree PoplarWood) Geography.kif 6583-6583
(subclass PoplarTree DeciduousTree) Geography.kif 6582-6582

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


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

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


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

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


(equal
    (JankaHardnessFn PoplarTree)
    (MeasureFn 540 PoundForce))
Mid-level-ontology.kif 10423-10423


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