Sigma KB Term Intersection

(=> (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
(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 3963-3968	If an object is an instance of common 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 HexaploidCell SomaticCell)	VirusProteinAndCellPart.kif 986-986	Hexaploid cell is a subclass of somatic cell
(subclass HexaploidCell Zygote)	VirusProteinAndCellPart.kif 987-987	Hexaploid cell is a subclass of zygote