TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint Hardwood Softwood)	Economy.kif 5280-5280	Hardwood è disgiunto da 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 5281-5282
(partition Hardwood Softwood)	Economy.kif 5279-5279	Hardwood è esaustivamente partizionato in Softwood
(subclass Hardwood WoodProduct)	Economy.kif 5278-5278	Hardwood è una sottoclasse di WoodProduct

appearance as argument number 2

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