TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Hardwood WoodProduct)	Economy.kif 5627-5627	Hardwood is a subclass of wood product
(partition Hardwood Softwood)	Economy.kif 5628-5628	Hardwood is exhaustively partitioned into softwood
(disjoint Hardwood Softwood)	Economy.kif 5629-5629	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 5630-5631	Hardwood is disjoint from softwood
(documentation Hardwood EnglishLanguage "Hardwood is wood from angiosperm trees.The dominant feature separating hardwoods from softwoods is the presence of pores, or vessels.")	Society.kif 1376-1376	Hardwood is disjoint from softwood
(subclass Hardwood WoodArtifact)	Society.kif 1385-1385	Hardwood is a subclass of WoodArtifact

appearance as argument number 2

(subclass BalsaWood Hardwood)	Economy.kif 5642-5642	Balsa wood is a subclass of hardwood
(subclass BeechWood Hardwood)	Economy.kif 5652-5652	Beech wood is a subclass of hardwood
(subclass BirchWood Hardwood)	Economy.kif 5662-5662	Birch wood is a subclass of hardwood
(subclass CherryWood Hardwood)	Economy.kif 5672-5672	Cherry wood is a subclass of hardwood
(subclass MapleWood Hardwood)	Economy.kif 5684-5684	Maple wood is a subclass of hardwood
(subclass OkoumeWood Hardwood)	Economy.kif 5694-5694	Okoume wood is a subclass of hardwood
(subclass PoplarWood Hardwood)	Economy.kif 5704-5704	Poplar wood is a subclass of hardwood
(subclass RedOakWood Hardwood)	Economy.kif 5714-5714	Red oak wood is a subclass of hardwood
(subclass SapeleWood Hardwood)	Economy.kif 5724-5724	Sapele wood is a subclass of hardwood
(subclass WalnutWood Hardwood)	Economy.kif 5734-5734	Walnut wood is a subclass of hardwood
(subclass WhiteOakWood Hardwood)	Economy.kif 5744-5744	White oak wood is a subclass of hardwood
(termFormat EnglishLanguage Hardwood "hardwood")	domainEnglishFormat.kif 64970-64970	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))

If equal X and Object made from Y, X is a subclass of hardwood, and Y is a subclass of plant stem, then the statement every Y is initially part of a deciduous tree has the modal force of likely