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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hardwood
Hardwood(hardwood)hardwood

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


(disjoint Hardwood Softwood) Economy.kif 5280-5280 Hardwood is disjoint from softwood
(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 Hardwood is exhaustively partitioned into softwood
(subclass Hardwood WoodProduct) Economy.kif 5278-5278 Hardwood is a subclass of wood product

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


(subclass BalsaWood Hardwood) Economy.kif 5293-5293 Balsa wood is a subclass of hardwood
(subclass BeechWood Hardwood) Economy.kif 5303-5303 Beech wood is a subclass of hardwood
(subclass BirchWood Hardwood) Economy.kif 5313-5313 Birch wood is a subclass of hardwood
(subclass CherryWood Hardwood) Economy.kif 5323-5323 Cherry wood is a subclass of hardwood
(subclass MapleWood Hardwood) Economy.kif 5335-5335 Maple wood is a subclass of hardwood
(subclass OkoumeWood Hardwood) Economy.kif 5345-5345 Okoume wood is a subclass of hardwood
(subclass PoplarWood Hardwood) Economy.kif 5355-5355 Poplar wood is a subclass of hardwood
(subclass RedOakWood Hardwood) Economy.kif 5365-5365 Red oak wood is a subclass of hardwood
(subclass SapeleWood Hardwood) Economy.kif 5375-5375 Sapele wood is a subclass of hardwood
(subclass WalnutWood Hardwood) Economy.kif 5385-5385 Walnut wood is a subclass of hardwood
(subclass WhiteOakWood Hardwood) Economy.kif 5395-5395 White oak wood is a subclass of hardwood
(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