Sigma KB Term Intersection

(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant))	Economy.kif 4560-4564	オブジェクトは Fruit の subclass では equal オブジェクト and Cucumber initialPart オブジェクト and CucumberPlant
(subclass Cucumber Vegetable)	Economy.kif 4557-4557	Cucumber は Vegetable の subclass では