No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4631-4631 |
印度洋 和 波斯湾 是 connected |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5155-5155 |
伊朗 接上 波斯湾 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5153-5153 |
波斯湾 的名 是 "Persian Gulf" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45282-45282 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45281-45281 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45280-45280 |
|