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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BlackCherryTree
BlackCherryTree(black cherry tree)

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 Black cherry tree is internally related to cherry wood
(subclass BlackCherryTree DeciduousTree) Geography.kif 6494-6494 Black cherry tree is a subclass of deciduous tree

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