TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FirTree Conifer)	Geography.kif 8212-8212	Fir tree is a subclass of conifer
(relatedInternalConcept FirTree FirWood)	Geography.kif 8213-8213	Fir tree is internally related to fir wood
(documentation FirTree EnglishLanguage "FirTree is in the family of Pinaceae. It belongs to the the genus of Abies. There are 48-56 extant species. The genus is closely related to cedar.[Wikipedia]")	Geography.kif 8214-8215	Fir tree is internally related to fir wood

appearance as argument number 2

(termFormat EnglishLanguage FirTree "Fir tree")

consequent

(=>
    (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