Sigma KB Term Intersection

(=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant))))	Food.kif 299-306	Objet est une instance de FoodFromPlant objet objet organique objet est une instance de DeadFn objet organique objet est une partie de objet objet organique est une sous-classe de plante
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	Objet est une sous-classe de mixture initialPart objet and viande initialPart objet and FoodFromPlant initialPart objet and DrinkingWater objet est SoupStock
(subclass FoodFromPlant Food)	Food.kif 294-294	FoodFromPlant est une sous-classe de nourriture
(subclass CoffeeGrind FoodFromPlant)	Food.kif 1029-1029	CoffeeGrind est une sous-classe de FoodFromPlant
(subclass Flour FoodFromPlant)	Food.kif 1470-1470	Flour est une sous-classe de FoodFromPlant
(subclass Raisin FoodFromPlant)	Food.kif 3323-3323	Raisin est une sous-classe de FoodFromPlant
(subclass Tofu FoodFromPlant)	Food.kif 3509-3509	Tofu est une sous-classe de FoodFromPlant
(subclass Grain FoodFromPlant)	Economy.kif 4149-4149	Grain est une sous-classe de FoodFromPlant
(subclass CerealStarch FoodFromPlant)	Economy.kif 4307-4307	CerealStarch est une sous-classe de FoodFromPlant
(subclass RootStarch FoodFromPlant)	Economy.kif 4312-4312	RootStarch est une sous-classe de FoodFromPlant
(subclass Spice FoodFromPlant)	Economy.kif 4360-4360	Spice est une sous-classe de FoodFromPlant
(subclass EdibleNut FoodFromPlant)	Economy.kif 4469-4469	EdibleNut est une sous-classe de FoodFromPlant
(subclass VegetableOil FoodFromPlant)	Economy.kif 4556-4556	VegetableOil est une sous-classe de FoodFromPlant
(subclass CoffeeBean FoodFromPlant)	Economy.kif 4625-4625	CoffeeBean est une sous-classe de FoodFromPlant

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