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 5406-5407
(subclass Softwood WoodProduct)	Economy.kif 5405-5405	Softwood is a subclass of wood product

appearance as argument number 2

(disjoint Hardwood Softwood)	Economy.kif 5280-5280	Hardwood is disjoint from softwood
(partition Hardwood Softwood)	Economy.kif 5279-5279	Hardwood is exhaustively partitioned into softwood
(subclass CedarWood Softwood)	Economy.kif 5418-5418	Cedar wood is a subclass of softwood
(subclass FirWood Softwood)	Economy.kif 5428-5428	Fir wood is a subclass of softwood
(subclass LarchWood Softwood)	Economy.kif 5438-5438	Larch wood is a subclass of softwood
(subclass PineWood Softwood)	Economy.kif 5458-5458	PineWood is a subclass of softwood
(subclass SpruceWood Softwood)	Economy.kif 5448-5448	Spruce wood is a subclass of softwood
(termFormat EnglishLanguage Softwood "softwood")	domainEnglishFormat.kif 65561-65561	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 5409-5416