Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	Objet est une sous-classe de mixture initialPart objet and viande initialPart objet and FoodFromPlant initialPart objet and DrinkingWater objet est SoupStock
No TPTP formula. May not be expressible in strict first order.	Food.kif 1618-1618	SoupStock est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1619-1619	SoupStock est une sous-classe de Soup