Sigma KB Term Intersection

(=> (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
(subclass Cucumber Vegetable)	Economy.kif 4220-4220	Cucumber ist eine teilkategorie von Vegetable