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 では %n オブジェクト有機物オブジェクトは DeadFn 有機物の instance では %n オブジェクトはオブジェクトの part では %n 有機物は植物の subclass では %n
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	オブジェクトは混合物の subclass では %n initialPart オブジェクト and 肉 initialPart オブジェクト and FoodFromPlant initialPart オブジェクト and DrinkingWater オブジェクトは SoupStock と equal では %n
(subclass FoodFromPlant Food)	Food.kif 294-294	FoodFromPlant は Food の subclass では %n
(subclass CoffeeGrind FoodFromPlant)	Food.kif 1029-1029	CoffeeGrind は FoodFromPlant の subclass では %n
(subclass Flour FoodFromPlant)	Food.kif 1470-1470	Flour は FoodFromPlant の subclass では %n
(subclass Raisin FoodFromPlant)	Food.kif 3323-3323	Raisin は FoodFromPlant の subclass では %n
(subclass Tofu FoodFromPlant)	Food.kif 3509-3509	Tofu は FoodFromPlant の subclass では %n
(subclass Grain FoodFromPlant)	Economy.kif 4149-4149	Grain は FoodFromPlant の subclass では %n
(subclass CerealStarch FoodFromPlant)	Economy.kif 4307-4307	CerealStarch は FoodFromPlant の subclass では %n
(subclass RootStarch FoodFromPlant)	Economy.kif 4312-4312	RootStarch は FoodFromPlant の subclass では %n
(subclass Spice FoodFromPlant)	Economy.kif 4360-4360	Spice は FoodFromPlant の subclass では %n
(subclass EdibleNut FoodFromPlant)	Economy.kif 4469-4469	EdibleNut は FoodFromPlant の subclass では %n
(subclass VegetableOil FoodFromPlant)	Economy.kif 4556-4556	VegetableOil は FoodFromPlant の subclass では %n
(subclass CoffeeBean FoodFromPlant)	Economy.kif 4625-4625	CoffeeBean は FoodFromPlant の subclass では %n

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