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
(=> (and (instance ?A AegilopsGrass) (part ?C ?A) (instance ?C ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 3840-3845	Wenn Object ist ein fall von AegilopsGrass %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
(=> (and (instance ?E EinkornWheatGrass) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 3934-3939	Wenn Object ist ein fall von EinkornWheatGrass %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 DiploidCell SomaticCell)	VirusProteinAndCellPart.kif 890-890	DiploidCell ist eine teilkategorie von SomaticCell
(subclass DiploidCell Zygote)	VirusProteinAndCellPart.kif 891-891	DiploidCell ist eine teilkategorie von Zygote