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 は WoodProduct の subclass では %n

appearance as argument number 2

(disjoint Hardwood Softwood)	Economy.kif 5280-5280	Hardwood と Softwood は disjoint では %n
(partition Hardwood Softwood)	Economy.kif 5279-5279	Hardwood は Softwood に exhaustively partitioned %n
(subclass CedarWood Softwood)	Economy.kif 5418-5418	CedarWood は Softwood の subclass では %n
(subclass FirWood Softwood)	Economy.kif 5428-5428	FirWood は Softwood の subclass では %n
(subclass LarchWood Softwood)	Economy.kif 5438-5438	LarchWood は Softwood の subclass では %n
(subclass PineWood Softwood)	Economy.kif 5458-5458	PineWood は Softwood の subclass では %n
(subclass SpruceWood Softwood)	Economy.kif 5448-5448	SpruceWood は Softwood の subclass では %n
(termFormat EnglishLanguage Softwood "softwood")	domainEnglishFormat.kif 65513-65513

antecedent

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

Economy.kif 5409-5416