PersianGulf
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5154-5154 | 波斯湾 和 霍尔木兹海峡 是 connected |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2504-2504 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4793-4793 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5151-5151 | 波斯湾 是 海湾 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5152-5152 | 波斯湾 是 盐水区 的 instance |
appearance as argument number 2 |
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 45284-45284 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45283-45283 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45282-45282 |