Sigma KB Term Intersection

(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS))))	VirusProteinAndCellPart.kif 599-607	Wenn Object ist ein fall von Object %n{nicht} und Object ist eine teilkategorie von CellNucleus und initialPart Object and EukaryoticCell, dann es gibt Object um Object ist ein fall von Chromotin %n{nicht} und Object ist ein teil von ** Object %n{nicht}
(subclass Chromotin CellPart)	VirusProteinAndCellPart.kif 596-596	Chromotin ist eine teilkategorie von CellPart