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 600-608	If an object is an instance of another kind of object and another kind of object is a subclass of cell nucleus and every the other kind of object is initially part of a eukaryotic cell, then there exists a third object such that the third object is an instance of chromotin and the third object is a part of the object
(subclass EukaryoticCell Cell)	VirusProteinAndCellPart.kif 380-380	Eukaryotic cell is a subclass of cell
(subclass SomaticCell EukaryoticCell)	Mid-level-ontology.kif 23938-23938	Somatic cell is a subclass of eukaryotic cell
(subclass Gamete EukaryoticCell)	Mid-level-ontology.kif 23946-23946	Gamete is a subclass of eukaryotic cell
(subclass Zygote EukaryoticCell)	Mid-level-ontology.kif 23992-23992	Zygote is a subclass of eukaryotic cell