TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Softwood WoodProduct)	Economy.kif 5754-5754	Softwood is a subclass of wood product
(documentation Softwood EnglishLanguage "Softwood is made from logs of gymnosperm trees, mainly from Conifers.")	Economy.kif 5755-5756	Softwood is a subclass of wood product

appearance as argument number 2

(partition Hardwood Softwood)	Economy.kif 5628-5628	Hardwood is exhaustively partitioned into softwood
(disjoint Hardwood Softwood)	Economy.kif 5629-5629	Hardwood is disjoint from softwood
(subclass CedarWood Softwood)	Economy.kif 5767-5767	Cedar wood is a subclass of softwood
(subclass FirWood Softwood)	Economy.kif 5777-5777	Fir wood is a subclass of softwood
(subclass LarchWood Softwood)	Economy.kif 5787-5787	Larch wood is a subclass of softwood
(subclass SpruceWood Softwood)	Economy.kif 5797-5797	Spruce wood is a subclass of softwood
(subclass PineWood Softwood)	Economy.kif 5807-5807	Pine wood is a subclass of softwood
(termFormat EnglishLanguage Softwood "softwood")	domainEnglishFormat.kif 65516-65516	Pine wood is a subclass of softwood

antecedent

(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S Conifer) Likely))

If equal X and Object made from Y, X is a subclass of softwood, and Y is a subclass of plant stem, then the statement every Y is initially part of a conifer has the modal force of likely