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 SapeleTreeSapeleWoodinternally 関連して %n
(subclass SapeleTree DeciduousTree) Geography.kif 6526-6526 SapeleTreeDeciduousTreesubclass では %n

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


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

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