FoodFromPlant - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FoodFromPlant

FoodFromPlant(food from plant)

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	Food from plant is a subclass of food

appearance as argument number 2

(disjoint Meat FoodFromPlant)	Food.kif 292-292	Meat is disjoint from food from plant
(subclass CerealStarch FoodFromPlant)	Economy.kif 4307-4307	Cereal starch is a subclass of food from plant
(subclass CoffeeBean FoodFromPlant)	Economy.kif 4625-4625	Coffee bean is a subclass of food from plant
(subclass CoffeeGrind FoodFromPlant)	Food.kif 1029-1029	Coffee grind is a subclass of food from plant
(subclass EdibleNut FoodFromPlant)	Economy.kif 4469-4469	Edible nut is a subclass of food from plant
(subclass Flour FoodFromPlant)	Food.kif 1470-1470	Flour is a subclass of food from plant
(subclass Grain FoodFromPlant)	Economy.kif 4149-4149	Grain is a subclass of food from plant
(subclass Raisin FoodFromPlant)	Food.kif 3323-3323	Raisin is a subclass of food from plant
(subclass RootStarch FoodFromPlant)	Economy.kif 4312-4312	Root starch is a subclass of food from plant
(subclass Spice FoodFromPlant)	Economy.kif 4360-4360	Spice is a subclass of food from plant
(subclass Tofu FoodFromPlant)	Food.kif 3509-3509	Tofu is a subclass of food from plant
(subclass VegetableOil FoodFromPlant)	Economy.kif 4556-4556	Vegetable oil is a subclass of food from plant
(termFormat EnglishLanguage FoodFromPlant "food from plant")	Food.kif 297-297	Vegetable oil is a subclass of food from plant

antecedent

(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
(=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant))))	Food.kif 299-306	If an object is an instance of food from plant, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant

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