TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FirWood Softwood)	Economy.kif 5777-5777	Fir wood is a subclass of softwood
(documentation FirWood EnglishLanguage "FirWood is made from logs of Fir trees.")	Economy.kif 5778-5778	Fir wood is a subclass of softwood

appearance as argument number 2

(relatedInternalConcept FirTree FirWood)	Geography.kif 8213-8213	Fir tree is internally related to fir wood
(termFormat EnglishLanguage FirWood "fir wood")	domainEnglishFormat.kif 64868-64868	Fir tree is internally related to fir wood

antecedent

(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W FirWood)
        (subclass ?S PlantStem))
    (initialPart ?S FirTree))

If equal X and Object made from Y, X is a subclass of fir wood, and Y is a subclass of plant stem, then every Y is initially part of a Fir tree