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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BlackCherryTree
BlackCherryTree

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


(documentation BlackCherryTree EnglishLanguage "BlackCherryTree grows in eastern UnitedStates. It is the source of CherryWood, a Hardwood material in construction and funiture making.[Wikipedia]") Geography.kif 6496-6497
(relatedInternalConcept BlackCherryTree CherryWood) Geography.kif 6495-6495
(subclass BlackCherryTree DeciduousTree) Geography.kif 6494-6494

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


(termFormat EnglishLanguage BlackCherryTree "black cherry tree") domainEnglishFormat.kif 64543-64543

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CherryWood)
        (subclass ?S PlantStem))
    (or
        (initialPart ?S BlackCherryTree)
        (initialPart ?S SweetCherryTree)))
Economy.kif 5326-5333


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