Sigma KB Term Intersection

(=> (and (subclass ?CLASS PlantStem) (equal ?CLASS Alfalfa)) (initialPart ?CLASS AlfalfaPlant))	Economy.kif 4825-4829	If a kind of object is a subclass of plant stem and a kind of object is equal to alfalfa, then every the kind of object is initially part of a alfalfa plant
(subclass AlfalfaPlant HerbaceousPlant)	Economy.kif 4820-4820	Alfalfa plant is a subclass of HerbaceousPlant