Sigma KB Term Intersection

(=> (and (instance ?E DurumWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 3904-3909	Wenn Object ist ein fall von DurumWheatGrass %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 TetraploidCell
(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 3872-3877	Wenn Object ist ein fall von EmmerWheatGrass %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 TetraploidCell
(subclass TetraploidCell SomaticCell)	VirusProteinAndCellPart.kif 933-933	TetraploidCell ist eine teilkategorie von SomaticCell
(subclass TetraploidCell Zygote)	VirusProteinAndCellPart.kif 934-934	TetraploidCell ist eine teilkategorie von Zygote