| (=> (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 | DrinkingWater ist eine teilkategorie von FreshWater |
| (subclass DrinkingWater PreparedFood) | Food.kif 218-218 | DrinkingWater ist eine teilkategorie von PreparedFood |
| (subclass SparklingWater DrinkingWater) | Food.kif 221-221 | SparklingWater ist eine teilkategorie von DrinkingWater |
|
|