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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SapeleTree
SapeleTree(Sapele tree)

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


(documentation SapeleTree EnglishLanguage "SapeleTree is a tree native to tropical Africa. It's genus is Entandrophragma, with 11 known species in the family of Meliaceae.[Wikipedia]") Geography.kif 6528-6529
(relatedInternalConcept SapeleTree SapeleWood) Geography.kif 6527-6527 Sapele tree is internally related to Sapele wood
(subclass SapeleTree DeciduousTree) Geography.kif 6526-6526 Sapele tree is a subclass of deciduous tree

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


(termFormat EnglishLanguage SapeleTree "Sapele tree") domainEnglishFormat.kif 65487-65487

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SapeleWood)
        (subclass ?S PlantStem))
    (initialPart ?S SapeleTree))
Economy.kif 5378-5383


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