Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of softwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a conifers has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5405-5405	Softwood is a subclass of wood product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5418-5418	Cedar wood is a subclass of softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5428-5428	Fir wood is a subclass of softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5438-5438	Larch wood is a subclass of softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5448-5448	Spruce wood is a subclass of softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5458-5458	PineWood is a subclass of softwood