Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 380-380	Eukaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23938-23938	Somatic cell is a subclass of eukaryotic cell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23946-23946	Gamete is a subclass of eukaryotic cell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23992-23992	Zygote is a subclass of eukaryotic cell