Sigma KB Term Intersection

(=> (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 OilFromPlant Oil)	Economy.kif 4526-4526	OilFromPlant ist eine teilkategorie von Oil
(subclass TeaTreeOil OilFromPlant)	Economy.kif 4545-4545	TeaTreeOil ist eine teilkategorie von OilFromPlant
(subclass VegetableOil OilFromPlant)	Economy.kif 4558-4558	VegetableOil ist eine teilkategorie von OilFromPlant