Hardwood - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Hardwood Softwood)	Economy.kif 5490-5490	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 5491-5492	Hardwood is disjoint from softwood
(partition Hardwood Softwood)	Economy.kif 5489-5489	Hardwood is exhaustively partitioned into softwood
(subclass Hardwood WoodProduct)	Economy.kif 5488-5488	Hardwood is a subclass of wood product

appearance as argument number 2

(subclass BalsaWood Hardwood)	Economy.kif 5503-5503	Balsa wood is a subclass of hardwood
(subclass BeechWood Hardwood)	Economy.kif 5513-5513	Beech wood is a subclass of hardwood
(subclass BirchWood Hardwood)	Economy.kif 5523-5523	Birch wood is a subclass of hardwood
(subclass CherryWood Hardwood)	Economy.kif 5533-5533	Cherry wood is a subclass of hardwood
(subclass MapleWood Hardwood)	Economy.kif 5545-5545	Maple wood is a subclass of hardwood
(subclass OkoumeWood Hardwood)	Economy.kif 5555-5555	Okoume wood is a subclass of hardwood
(subclass PoplarWood Hardwood)	Economy.kif 5565-5565	Poplar wood is a subclass of hardwood
(subclass RedOakWood Hardwood)	Economy.kif 5575-5575	Red oak wood is a subclass of hardwood
(subclass SapeleWood Hardwood)	Economy.kif 5585-5585	Sapele wood is a subclass of hardwood
(subclass WalnutWood Hardwood)	Economy.kif 5595-5595	Walnut wood is a subclass of hardwood
(subclass WhiteOakWood Hardwood)	Economy.kif 5605-5605	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 5494-5501