Sigma KB Term Intersection

(=> (equal ?X (PlantFn CommonWheatGrain)) (subclass ?X CommonWheatGrass))	Economy.kif 4066-4069	If a kind of plant is equal to plant fn common wheat grain, then a kind of plant is a subclass of common wheat grass
(=> (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 CommonWheatGrass WheatGrass)	Economy.kif 3955-3955	Common wheat grass is a subclass of wheat grass