Sigma KB Term Intersection

(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	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
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human)))	Geography.kif 2815-2818	If a class is a subclass of potable water, then the class is a subclass of food for human
(subclass DrinkingWater FreshWater)	Geography.kif 2810-2810	Potable water is a subclass of freshwater
(subclass DrinkingWater PreparedFood)	Food.kif 218-218	Potable water is a subclass of prepared food
(subclass SparklingWater DrinkingWater)	Food.kif 221-221	Sparkling water is a subclass of potable water