Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 600-608	如果客体是另一个有点客体的 instance 和另一个有点客体是细胞核的 subclass 和 %每个那个另外有点客体是真核细胞的 initially part ，然后有存在第三客体这样那个第三客体是染色质的 instance 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 380-380	真核细胞是细胞的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23938-23938	SomaticCell 是真核细胞的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23946-23946	Gamete 是真核细胞的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23992-23992	Zygote 是真核细胞的 subclass