|
|
   FoodFromPlant
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FoodFromPlant EnglishLanguage "FoodFromPlant is the class of Food which are derived from the whole or part of Plants.") | Food.kif 295-296 | |
| (subclass FoodFromPlant Food) | Food.kif 294-294 | 子類 FoodFromPlant and Food |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1633-1639 | |
| (=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant)))) |
Food.kif 299-306 |
|
|
|
|