| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1633-1639 | |
| (subclass SoupStock PreparedFood) | Food.kif 1618-1618 | |
| (subclass SoupStock Soup) | Food.kif 1619-1619 |
|
|