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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hardwood
Hardwood

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


(disjoint Hardwood Softwood) Economy.kif 5280-5280
(documentation Hardwood EnglishLanguage "Hardwood comes from the stems or tree trunks of dicot trees. In temperate and boreal latitudes, they are mostly DeciduousTrees.") Economy.kif 5281-5282
(partition Hardwood Softwood) Economy.kif 5279-5279
(subclass Hardwood WoodProduct) Economy.kif 5278-5278

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


(subclass BalsaWood Hardwood) Economy.kif 5293-5293
(subclass BeechWood Hardwood) Economy.kif 5303-5303
(subclass BirchWood Hardwood) Economy.kif 5313-5313
(subclass CherryWood Hardwood) Economy.kif 5323-5323
(subclass MapleWood Hardwood) Economy.kif 5335-5335
(subclass OkoumeWood Hardwood) Economy.kif 5345-5345
(subclass PoplarWood Hardwood) Economy.kif 5355-5355
(subclass RedOakWood Hardwood) Economy.kif 5365-5365
(subclass SapeleWood Hardwood) Economy.kif 5375-5375
(subclass WalnutWood Hardwood) Economy.kif 5385-5385
(subclass WhiteOakWood Hardwood) Economy.kif 5395-5395
(termFormat EnglishLanguage Hardwood "hardwood") domainEnglishFormat.kif 64967-64967

antecedent
-------------------------


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))
Economy.kif 5284-5291


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