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
(=> (equal ?X (PlantFn DurumWheatGrain)) (subclass ?X DurumWheatGrass))	Economy.kif 4076-4079	If a kind of plant is equal to plant fn durum wheat grain, then a kind of plant is a subclass of durum wheat grass
(subclass DurumWheatGrass WheatGrass)	Economy.kif 3896-3896	Durum wheat grass is a subclass of wheat grass