Sigma KB Term Intersection

(=> (equal ?X (PlantFn EinkornWheatGrain)) (subclass ?X EinkornWheatGrass))	Economy.kif 4096-4099	If a kind of plant is equal to plant fn Einkorn wheat grain, then a kind of plant is a subclass of einkorn wheat grass
(=> (and (instance ?E EinkornWheatGrass) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 3934-3939	If an object is an instance of einkorn wheat grass and another object is a part of the object and the object is an instance of the other objectLASS, then the other objectLASS is a subclass of diploid cell
(subclass EinkornWheatGrass WheatGrass)	Economy.kif 3928-3928	Einkorn wheat grass is a subclass of wheat grass