Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de WoodProduct Objeto e' uma sub-classe de PlantStem Objeto Objeto e' uma sub-classe de BotanicalTree initialPart Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5224-5224	WoodProduct e' uma sub-classe de ForestProduct
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5225-5225	WoodProduct e' uma sub-classe de OrganicCompound
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5226-5226	WoodProduct e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5278-5278	Hardwood e' uma sub-classe de WoodProduct
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 5495-5495	Timber e' uma sub-classe de WoodProduct
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5532-5532	Lumber e' uma sub-classe de WoodProduct
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5572-5572	WoodenArtifact e' uma sub-classe de WoodProduct