Sigma KB Term Intersection

(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant))	Economy.kif 4277-4281	If a kind of object is a subclass of fruit and a kind of object is equal to eggplant, then every the kind of object is initially part of a EggplantPlant
(subclass EggplantPlant HerbaceousPlant)	Economy.kif 4283-4283	EggplantPlant is a subclass of HerbaceousPlant