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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpruceTree

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 65531-65531

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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