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 5616-5617
(subclass Softwood WoodProduct)	Economy.kif 5615-5615	Softwood is a subclass of wood product

appearance as argument number 2

(disjoint Hardwood Softwood)	Economy.kif 5490-5490	Hardwood is disjoint from softwood
(partition Hardwood Softwood)	Economy.kif 5489-5489	Hardwood is exhaustively partitioned into softwood
(subclass CedarWood Softwood)	Economy.kif 5628-5628	Cedar wood is a subclass of softwood
(subclass FirWood Softwood)	Economy.kif 5638-5638	Fir wood is a subclass of softwood
(subclass LarchWood Softwood)	Economy.kif 5648-5648	Larch wood is a subclass of softwood
(subclass PineWood Softwood)	Economy.kif 5668-5668	PineWood is a subclass of softwood
(subclass SpruceWood Softwood)	Economy.kif 5658-5658	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 5619-5626