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.	Merge.kif 12174-12174	Keeping is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12200-12200	Confining is a subclass of keeping
No TPTP formula. May not be expressible in strict first order.	Food.kif 184-184	Preserving food is a subclass of keeping