Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	If a class is a subclass of potable water, then the class is a subclass of food for human
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 218-218	Potable water is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 221-221	Sparkling water is a subclass of potable water