Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Softwood 子類 OrganicObject and PlantStem 模態屬性 %每個 OrganicObject 是 Conifers 的 initially part and 容易
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5405-5405	子類 Softwood and WoodProduct
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5418-5418	子類 CedarWood and Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5428-5428	子類 FirWood and Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5438-5438	子類 LarchWood and Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5448-5448	子類 SpruceWood and Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5458-5458	子類 PineWood and Softwood