Sigma KB Term Intersection

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5284-5291	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Hardwood 子類 OrganicObject and PlantStem 模態屬性 %每個 OrganicObject 是 DeciduousTree 的 initially part and 容易
(subclass Hardwood WoodProduct)	Economy.kif 5278-5278	子類 Hardwood and WoodProduct
(subclass BalsaWood Hardwood)	Economy.kif 5293-5293	子類 BalsaWood and Hardwood
(subclass BeechWood Hardwood)	Economy.kif 5303-5303	子類 BeechWood and Hardwood
(subclass BirchWood Hardwood)	Economy.kif 5313-5313	子類 BirchWood and Hardwood
(subclass CherryWood Hardwood)	Economy.kif 5323-5323	子類 CherryWood and Hardwood
(subclass MapleWood Hardwood)	Economy.kif 5335-5335	子類 MapleWood and Hardwood
(subclass OkoumeWood Hardwood)	Economy.kif 5345-5345	子類 OkoumeWood and Hardwood
(subclass PoplarWood Hardwood)	Economy.kif 5355-5355	子類 PoplarWood and Hardwood
(subclass RedOakWood Hardwood)	Economy.kif 5365-5365	子類 RedOakWood and Hardwood
(subclass SapeleWood Hardwood)	Economy.kif 5375-5375	子類 SapeleWood and Hardwood
(subclass WalnutWood Hardwood)	Economy.kif 5385-5385	子類 WalnutWood and Hardwood
(subclass WhiteOakWood Hardwood)	Economy.kif 5395-5395	子類 WhiteOakWood and Hardwood