Sigma KB Term Intersection

(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem)))))	Mid-level-ontology.kif 9561-9574	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
(subclass FreshWater Water)	Geography.kif 2730-2730	FreshWater e' uma sub-classe de Agua
(subclass DrinkingWater FreshWater)	Geography.kif 2810-2810	DrinkingWater e' uma sub-classe de FreshWater
(subclass TapWater FreshWater)	Food.kif 268-268	TapWater e' uma sub-classe de FreshWater