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 Keeping IntentionalProcess)	Merge.kif 12174-12174	Manter e' uma sub-classe de Processo Intencional
(subclass Confining Keeping)	Merge.kif 12200-12200	Confinar e' uma sub-classe de Manter
(subclass PreservingFood Keeping)	Food.kif 184-184	PreservingFood e' uma sub-classe de Manter