Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FoodFromPlant(food from a plant) |
| appearance as argument number 1 |
|
| (disjoint FoodFromPlant Meat) | Food.kif 292-292 | Food from a plant is disjoint from meat |
| (subclass FoodFromPlant Food) | Food.kif 294-294 | Food from a plant is a subclass of food |
| (documentation FoodFromPlant EnglishLanguage "FoodFromPlant is the class of Food which are derived from the whole or part of Plants.") | Food.kif 295-296 | Food from a plant is a subclass of food |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant)))) |
Food.kif 299-306 | If X is an instance of food from a plant, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant |
| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1619-1625 | If X is a subclass of mixture, every X is initially part of a meat, every X is initially part of a food from a plant, and every X is initially part of a potable water, then equal X and soup stock |
|