TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint Hardwood Softwood)	Economy.kif 5280-5280	Hardwood 和 % 2 是 disjoint
(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 详尽无遗地 partition 成 Softwood
(subclass Hardwood WoodProduct)	Economy.kif 5278-5278	Hardwood 是 WoodProduct 的 subclass

appearance as argument number 2

(subclass BalsaWood Hardwood)	Economy.kif 5293-5293	BalsaWood 是 Hardwood 的 subclass
(subclass BeechWood Hardwood)	Economy.kif 5303-5303	BeechWood 是 Hardwood 的 subclass
(subclass BirchWood Hardwood)	Economy.kif 5313-5313	BirchWood 是 Hardwood 的 subclass
(subclass CherryWood Hardwood)	Economy.kif 5323-5323	CherryWood 是 Hardwood 的 subclass
(subclass MapleWood Hardwood)	Economy.kif 5335-5335	MapleWood 是 Hardwood 的 subclass
(subclass OkoumeWood Hardwood)	Economy.kif 5345-5345	OkoumeWood 是 Hardwood 的 subclass
(subclass PoplarWood Hardwood)	Economy.kif 5355-5355	PoplarWood 是 Hardwood 的 subclass
(subclass RedOakWood Hardwood)	Economy.kif 5365-5365	RedOakWood 是 Hardwood 的 subclass
(subclass SapeleWood Hardwood)	Economy.kif 5375-5375	SapeleWood 是 Hardwood 的 subclass
(subclass WalnutWood Hardwood)	Economy.kif 5385-5385	WalnutWood 是 Hardwood 的 subclass
(subclass WhiteOakWood Hardwood)	Economy.kif 5395-5395	WhiteOakWood 是 Hardwood 的 subclass
(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