FoodForFn |
(=> (instance ?X Meal) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human))))) |
Food.kif 1680-1685 | |
(=> (instance ?X PreparedFood) (instance ?X (FoodForFn Human))) |
Food.kif 315-317 | |
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human))) |
Geography.kif 2815-2818 |