Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9574	Objet est une instance de plante objet est une partie de objet processus entit� and processus processus est une instance de processus processus est une sous-classe de garder entit� est une instance de FreshWater entit� est un patient de processus objet est capable de faire processus dans le r�le instrument objet est une instance de PlantLeaf objet est une instance de PlantStem
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	FreshWater est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	DrinkingWater est une sous-classe de FreshWater
No TPTP formula. May not be expressible in strict first order.	Food.kif 268-268	TapWater est une sous-classe de FreshWater