No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5160-5160 |
霍尔木兹海峡 和 阿曼湾 是 connected |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5162-5162 |
伊朗 接上 阿曼湾 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5163-5163 |
阿曼 接上 阿曼湾 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5159-5159 |
阿曼湾 的名 是 "Gulf of Oman" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27060-27060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27059-27059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27058-27058 |
|