| 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 4422-4422 | |
| (subclass CoffeeBean FoodFromPlant) | Economy.kif 4740-4740 | |
| (subclass CoffeeGrind FoodFromPlant) | Food.kif 1029-1029 | |
| (subclass EdibleNut FoodFromPlant) | Economy.kif 4584-4584 | |
| (subclass Flour FoodFromPlant) | Food.kif 1470-1470 | |
| (subclass Grain FoodFromPlant) | Economy.kif 4264-4264 | |
| (subclass Raisin FoodFromPlant) | Food.kif 3323-3323 | |
| (subclass RootStarch FoodFromPlant) | Economy.kif 4427-4427 | |
| (subclass Spice FoodFromPlant) | Economy.kif 4475-4475 | |
| (subclass Tofu FoodFromPlant) | Food.kif 3509-3509 | |
| (subclass VegetableOil FoodFromPlant) | Economy.kif 4671-4671 | |
| (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 1633-1639 | |
| (=> (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