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 5621-5621 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 5622-5623 Hardwood is disjoint from softwood
(partition Hardwood Softwood) Economy.kif 5620-5620 Hardwood is exhaustively partitioned into softwood
(subclass Hardwood WoodProduct) Economy.kif 5619-5619 Hardwood is a subclass of wood product

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


(subclass BalsaWood Hardwood) Economy.kif 5634-5634 Balsa wood is a subclass of hardwood
(subclass BeechWood Hardwood) Economy.kif 5644-5644 Beech wood is a subclass of hardwood
(subclass BirchWood Hardwood) Economy.kif 5654-5654 Birch wood is a subclass of hardwood
(subclass CherryWood Hardwood) Economy.kif 5664-5664 Cherry wood is a subclass of hardwood
(subclass MapleWood Hardwood) Economy.kif 5676-5676 Maple wood is a subclass of hardwood
(subclass OkoumeWood Hardwood) Economy.kif 5686-5686 Okoume wood is a subclass of hardwood
(subclass PoplarWood Hardwood) Economy.kif 5696-5696 Poplar wood is a subclass of hardwood
(subclass RedOakWood Hardwood) Economy.kif 5706-5706 Red oak wood is a subclass of hardwood
(subclass SapeleWood Hardwood) Economy.kif 5716-5716 Sapele wood is a subclass of hardwood
(subclass WalnutWood Hardwood) Economy.kif 5726-5726 Walnut wood is a subclass of hardwood
(subclass WhiteOakWood Hardwood) Economy.kif 5736-5736 White oak wood is a subclass of hardwood
(termFormat EnglishLanguage Hardwood "hardwood") domainEnglishFormat.kif 64990-64990 White oak wood is a subclass of hardwood

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


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


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