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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpruceTree
SpruceTree

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


(documentation SpruceTree EnglishLanguage "A SpruceTree is a tree of the genus Picea with 35 species in the family of Pinaceae. They are found in the northern temperate and boreal regions.[Wikipedia]") Geography.kif 6664-6665
(relatedInternalConcept SpruceTree SpruceWood) Geography.kif 6663-6663 SpruceTreeSpruceWood 是 内部相关
(subclass SpruceTree Conifers) Geography.kif 6662-6662 SpruceTreeConiferssubclass

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


(termFormat EnglishLanguage SpruceTree "Spruce tree") domainEnglishFormat.kif 65525-65525

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SpruceWood)
        (subclass ?S PlantStem))
    (initialPart ?S SpruceTree))
Economy.kif 5792-5797


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