Sigma KB Term Intersection

(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 3872-3877	If an object is an instance of emmer wheat grass and another object is a part of the object and the other object is an instance of the other objectLASS, then the other objectLASS is a subclass of tetraploid cell
(=> (equal ?X (PlantFn EmmerWheatGrain)) (subclass ?X EmmerWheatGrass))	Economy.kif 4086-4089	If a kind of plant is equal to plant fn Emmer wheat grain, then a kind of plant is a subclass of emmer wheat grass
(subclass EmmerWheatGrass WheatGrass)	Economy.kif 3865-3865	Emmer wheat grass is a subclass of wheat grass