(=> (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 e' uma sub-classe de FreshWater |
(subclass DrinkingWater PreparedFood) | Food.kif 218-218 | DrinkingWater e' uma sub-classe de PreparedFood |
(subclass SparklingWater DrinkingWater) | Food.kif 221-221 | SparklingWater e' uma sub-classe de DrinkingWater |