TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint Hardwood Softwood)	Economy.kif 5280-5280	Hardwood と Softwood は disjoint では %n
(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 は Softwood に exhaustively partitioned %n
(subclass Hardwood WoodProduct)	Economy.kif 5278-5278	Hardwood は WoodProduct の subclass では %n

appearance as argument number 2

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