| 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 |
| appearance as argument number 2 |
|
|
| (disjoint Meat FoodFromPlant) | Food.kif 292-292 | |
| (subclass CerealStarch FoodFromPlant) | Economy.kif 4645-4645 | |
| (subclass CoffeeBean FoodFromPlant) | Economy.kif 4963-4963 | |
| (subclass CoffeeGrind FoodFromPlant) | Food.kif 1030-1030 | |
| (subclass EdibleNut FoodFromPlant) | Economy.kif 4807-4807 | |
| (subclass Flour FoodFromPlant) | Food.kif 1476-1476 | |
| (subclass Grain FoodFromPlant) | Economy.kif 4486-4486 | |
| (subclass Raisin FoodFromPlant) | Food.kif 3330-3330 | |
| (subclass RootStarch FoodFromPlant) | Economy.kif 4650-4650 | |
| (subclass Spice FoodFromPlant) | Economy.kif 4698-4698 | |
| (subclass Tofu FoodFromPlant) | Food.kif 3516-3516 | |
| (subclass VegetableOil FoodFromPlant) | Economy.kif 4894-4894 | |
| (termFormat EnglishLanguage FoodFromPlant "food from plant") | Food.kif 297-297 |
| antecedent |
|
|
| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1639-1645 | |
| (=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant)))) |
Food.kif 299-306 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners