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.	Food.kif 1618-1618	Soup stock is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1619-1619	Soup stock is a subclass of soup