| StraitOfHormuz(霍尔木兹海峡)
|
| appearance as argument number 1 |
|
| 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. | pictureList.kif 3192-3192 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2988-2988 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5313-5313 | 霍尔木兹海峡 是 盐水区 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5312-5312 | 霍尔木兹海峡 是 海峡 的 instance |
| appearance as argument number 2 |
|
|
| 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. | Geography.kif 5314-5314 | 霍尔木兹海峡 的名 是 "Strait of Hormuz" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55542-55542 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55541-55541 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55540-55540 |
|
|
|