Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Softwood Objeto Organico e' uma sub-classe de PlantStem o argumento initialPart Objeto Organico and Conifers tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5405-5405	Softwood e' uma sub-classe de WoodProduct
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5418-5418	CedarWood e' uma sub-classe de Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5428-5428	FirWood e' uma sub-classe de Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5438-5438	LarchWood e' uma sub-classe de Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5448-5448	SpruceWood e' uma sub-classe de Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5458-5458	PineWood e' uma sub-classe de Softwood