Sigma KB Term Intersection

(=> (equal ?X (PlantFn SpeltWheatGrain)) (subclass ?X SpeltWheatGrass))	Economy.kif 4107-4110	If a kind of plant is equal to plant fn spelt wheat grain, then a kind of plant is a subclass of spelt wheat grass
(=> (and (instance ?C SpeltWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 3993-3998	If an object is an instance of spelt wheat grass and the objectELL is a part of the object and the objectELL is an instance of the objectLASS, then the objectLASS is a subclass of hexaploid cell
(subclass SpeltWheatGrass WheatGrass)	Economy.kif 3987-3987	Spelt wheat grass is a subclass of wheat grass