Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	如果有点客体是混合物的 subclass 和 %每个有点客体是 meat 的 initially part 和 %每个那个有点客体是 FoodFromPlant 的 initially part 和 %每个那个有点客体是饮用水的 initially part ，然后那个有点客体 equal 高汤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	如果类是饮用水的 subclass，然后那个类是 food for 人类的 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 218-218	饮用水是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 221-221	SparklingWater 是饮用水的 subclass