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 6594-6595
(relatedInternalConcept SpruceTree SpruceWood) Geography.kif 6593-6593 Spruce tree is internally related to Spruce wood
(subclass SpruceTree Conifers) Geography.kif 6592-6592 Spruce tree is a subclass of conifers

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


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

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


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


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