Sigma KB Term Intersection

(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant))	Economy.kif 4277-4281	Wenn Object ist eine teilkategorie von Fruit und Object ist gleich Eggplant %n{nicht}, dann initialPart Object and EggplantPlant
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant))	Economy.kif 4223-4227	Wenn Object ist eine teilkategorie von Fruit und Object ist gleich Cucumber %n{nicht}, dann initialPart Object and CucumberPlant
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P))))	Economy.kif 4532-4543	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von OilFromPlant und Object ist eine teilkategorie von Seed oder Object ist eine teilkategorie von Fruit, dann es gibt Object um Object ist eine teilkategorie von FloweringPlant und initialPart Object and ** Object
(subclass Fruit FruitOrVegetable)	Food.kif 2175-2175	Fruit ist eine teilkategorie von FruitOrVegetable
(subclass Apple Fruit)	Food.kif 2179-2179	Apple ist eine teilkategorie von Fruit
(subclass DateFruit Fruit)	Food.kif 2188-2188	DateFruit ist eine teilkategorie von Fruit
(subclass PearFruit Fruit)	Food.kif 2193-2193	PearFruit ist eine teilkategorie von Fruit
(subclass Berry Fruit)	Food.kif 2198-2198	Berry ist eine teilkategorie von Fruit
(subclass Avocado Fruit)	Food.kif 2281-2281	Avocado ist eine teilkategorie von Fruit
(subclass Tomato Fruit)	Food.kif 2286-2286	Tomato ist eine teilkategorie von Fruit
(subclass Grape Fruit)	Food.kif 2288-2288	Grape ist eine teilkategorie von Fruit
(subclass Melon Fruit)	Food.kif 2290-2290	Melon ist eine teilkategorie von Fruit
(subclass Olive Fruit)	Food.kif 2294-2294	Olive ist eine teilkategorie von Fruit
(subclass CitrusFruit Fruit)	Food.kif 2325-2325	CitrusFruit ist eine teilkategorie von Fruit
(subclass TropicalFruit Fruit)	Food.kif 2364-2364	TropicalFruit ist eine teilkategorie von Fruit
(subclass Peach Fruit)	Food.kif 2758-2758	Peach ist eine teilkategorie von Fruit
(subclass Strawberry Fruit)	Food.kif 3481-3481	Strawberry ist eine teilkategorie von Fruit
(subclass TamarindFruit Fruit)	Food.kif 3487-3487	TamarindFruit ist eine teilkategorie von Fruit
(subclass WineGrape Fruit)	Economy.kif 4730-4730	WineGrape ist eine teilkategorie von Fruit

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