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	如果客体是 FoodFromPlant 的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是植物的 subclass
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	如果有点客体是混合物的 subclass 和 %每个有点客体是 meat 的 initially part 和 %每个那个有点客体是 FoodFromPlant 的 initially part 和 %每个那个有点客体是饮用水的 initially part ，然后那个有点客体 equal 高汤
(subclass FoodFromPlant Food)	Food.kif 294-294	FoodFromPlant 是 Food 的 subclass
(subclass CoffeeGrind FoodFromPlant)	Food.kif 1029-1029	CoffeeGrind 是 FoodFromPlant 的 subclass
(subclass Flour FoodFromPlant)	Food.kif 1470-1470	面粉是 FoodFromPlant 的 subclass
(subclass Raisin FoodFromPlant)	Food.kif 3323-3323	Raisin 是 FoodFromPlant 的 subclass
(subclass Tofu FoodFromPlant)	Food.kif 3509-3509	Tofu 是 FoodFromPlant 的 subclass
(subclass Grain FoodFromPlant)	Economy.kif 4149-4149	Grain 是 FoodFromPlant 的 subclass
(subclass CerealStarch FoodFromPlant)	Economy.kif 4307-4307	CerealStarch 是 FoodFromPlant 的 subclass
(subclass RootStarch FoodFromPlant)	Economy.kif 4312-4312	根淀粉是 FoodFromPlant 的 subclass
(subclass Spice FoodFromPlant)	Economy.kif 4360-4360	香料是 FoodFromPlant 的 subclass
(subclass EdibleNut FoodFromPlant)	Economy.kif 4469-4469	食用坚果是 FoodFromPlant 的 subclass
(subclass VegetableOil FoodFromPlant)	Economy.kif 4556-4556	植物油是 FoodFromPlant 的 subclass
(subclass CoffeeBean FoodFromPlant)	Economy.kif 4625-4625	咖啡豆是 FoodFromPlant 的 subclass

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