No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5168-5168 |
連接的 紅海 and 腺嘌呤 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5171-5171 |
空間的符合 索馬里 and 腺嘌呤 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5170-5170 |
空間的符合 葉門 and 腺嘌呤 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5167-5167 |
名 "Gulf of Aden" and 腺嘌呤 |
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 |
|