Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9574	如果客体是植物的 instance 和另一个客体是那个客体的 part，然后有存在过程，实体， and 和另一个有点过程这样那个过程是另一个有点过程的 instance 和那个另外有点过程是保存的 subclass 和那个实体是淡水的 instance 和那个实体是那个过程的 patient 和那个另外客体能够担当工具的角色做那个另外有点过程和那个另外客体是 PlantLeaf 的 instance 或那个另外客体是 PlantStem 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	淡水是水的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	饮用水是淡水的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 268-268	TapWater 是淡水的 subclass