No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 391-391 |
不相交的 原核細胞 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 23938-23938 |
子類 SomaticCell and 真核細胞 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23992-23992 |
子類 Zygote and 真核細胞 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22486-22486 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22485-22485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22484-22484 |
|