Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 600-608	例 Object and Object 子類 Object and 細胞核 %每個 Object 是真核細胞的 initially part Object 例 Object and 染色質部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 380-380	子類真核細胞 and Cell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23938-23938	子類 SomaticCell and 真核細胞
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23946-23946	子類 Gamete and 真核細胞
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23992-23992	子類 Zygote and 真核細胞