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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpruceTree
SpruceTree(Spruce tree)

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 6662-6663
(relatedInternalConcept SpruceTree SpruceWood) Geography.kif 6661-6661 Spruce tree is internally related to Spruce wood
(subclass SpruceTree Conifers) Geography.kif 6660-6660 Spruce tree is a subclass of conifers

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


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

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


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


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