No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5168-5168 |
红海 和 腺嘌呤 是 connected |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5171-5171 |
索马里 接上 腺嘌呤 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5170-5170 |
叶门 接上 腺嘌呤 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5167-5167 |
腺嘌呤 的名 是 "Gulf of Aden" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27054-27054 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27053-27053 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27052-27052 |
|