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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SapeleTree
SapeleTree

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
(subclass SapeleTree DeciduousTree) Geography.kif 6526-6526

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


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

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


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


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