Sigma KB Term Intersection

(=> (and (instance ?E TriticumUrartu) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 3948-3953	Wenn Object ist ein fall von TriticumUrartu %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von ObjectLASS %n{nicht}, dann ** ObjectLASS ist eine teilkategorie von DiploidCell
(subclass TriticumUrartu WheatGrass)	Economy.kif 3941-3941	TriticumUrartu ist eine teilkategorie von WheatGrass