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	例 Object and FoodFromPlant Object OrganicObject 例 Object and 一個 dead OrganicObject 部分 Object and Object 子類 OrganicObject and Plant
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	子類 Object and Mixture %每個 Object 是 Meat 的 initially part %每個 Object 是 FoodFromPlant 的 initially part %每個 Object 是飲用水的 initially part 等於 Object and 高湯
(subclass FoodFromPlant Food)	Food.kif 294-294	子類 FoodFromPlant and Food
(subclass CoffeeGrind FoodFromPlant)	Food.kif 1029-1029	子類 CoffeeGrind and FoodFromPlant
(subclass Flour FoodFromPlant)	Food.kif 1470-1470	子類麵粉 and FoodFromPlant
(subclass Raisin FoodFromPlant)	Food.kif 3323-3323	子類 Raisin and FoodFromPlant
(subclass Tofu FoodFromPlant)	Food.kif 3509-3509	子類 Tofu and FoodFromPlant
(subclass Grain FoodFromPlant)	Economy.kif 4149-4149	子類 Grain and FoodFromPlant
(subclass CerealStarch FoodFromPlant)	Economy.kif 4307-4307	子類 CerealStarch and FoodFromPlant
(subclass RootStarch FoodFromPlant)	Economy.kif 4312-4312	子類根澱粉 and FoodFromPlant
(subclass Spice FoodFromPlant)	Economy.kif 4360-4360	子類香料 and FoodFromPlant
(subclass EdibleNut FoodFromPlant)	Economy.kif 4469-4469	子類食用堅果 and FoodFromPlant
(subclass VegetableOil FoodFromPlant)	Economy.kif 4556-4556	子類植物油 and FoodFromPlant
(subclass CoffeeBean FoodFromPlant)	Economy.kif 4625-4625	子類咖啡豆 and 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