Sigma KB Term Intersection

(=> (and (instance ?E DurumWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 3904-3909	If an object is an instance of durum 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
(=> (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
(subclass TetraploidCell SomaticCell)	VirusProteinAndCellPart.kif 933-933	Tetraploid cell is a subclass of somatic cell
(subclass TetraploidCell Zygote)	VirusProteinAndCellPart.kif 934-934	Tetraploid cell is a subclass of zygote