(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1633-1639 | |
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human))) |
Geography.kif 2815-2818 | |
(subclass DrinkingWater FreshWater) | Geography.kif 2810-2810 | 饮用水 是 淡水 的 subclass |
(subclass DrinkingWater PreparedFood) | Food.kif 218-218 | 饮用水 是 已准备食物 的 subclass |
(subclass SparklingWater DrinkingWater) | Food.kif 221-221 | SparklingWater 是 饮用水 的 subclass |