Sigma KB Term Intersection

(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant))	Economy.kif 4277-4281	オブジェクトは Fruit の subclass では %n オブジェクトは Eggplant と equal では %n initialPart オブジェクト and EggplantPlant
(subclass Eggplant Vegetable)	Economy.kif 4271-4271	Eggplant は Vegetable の subclass では %n