Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9574	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of freshwater and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of plant leaf or the other object is an instance of plant stem
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	Freshwater is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	Potable water is a subclass of freshwater
No TPTP formula. May not be expressible in strict first order.	Food.kif 268-268	Tap water is a subclass of freshwater