Softwood - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(disjoint Hardwood Softwood)	Economy.kif 5621-5621	Hardwood is disjoint from softwood
(partition Hardwood Softwood)	Economy.kif 5620-5620	Hardwood is exhaustively partitioned into softwood
(subclass CedarWood Softwood)	Economy.kif 5759-5759	Cedar wood is a subclass of softwood
(subclass FirWood Softwood)	Economy.kif 5769-5769	Fir wood is a subclass of softwood
(subclass LarchWood Softwood)	Economy.kif 5779-5779	Larch wood is a subclass of softwood
(subclass PineWood Softwood)	Economy.kif 5799-5799	Pine wood is a subclass of softwood
(subclass SpruceWood Softwood)	Economy.kif 5789-5789	Spruce wood is a subclass of softwood
(termFormat EnglishLanguage Softwood "softwood")	domainEnglishFormat.kif 65536-65536	Spruce wood is a subclass of softwood

antecedent

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

Economy.kif 5750-5757