Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9560-9573	Objeto e' uma instancia de Planta Objeto e' uma &parte de Objeto Processo Entidade and Processo Processo e' uma instancia de Processo Processo e' uma sub-classe de Manter Entidade e' uma instancia de FreshWater Entidade e' um patient de Processo Objeto e' capaz de fazer Processo no role instrument Objeto e' uma instancia de PlantLeaf Objeto e' uma instancia de PlantStem
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	FreshWater e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	DrinkingWater e' uma sub-classe de FreshWater
No TPTP formula. May not be expressible in strict first order.	Food.kif 268-268	TapWater e' uma sub-classe de FreshWater