| (=> (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 | SoupStock est une sous-classe de PreparedFood |
| (subclass SoupStock Soup) | Food.kif 1619-1619 | SoupStock est une sous-classe de Soup |
|
|