StraitOfHormuz(霍爾木茲海峽) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5160-5160 | 連接的 霍爾木茲海峽 and 阿曼灣 |
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 | 例 霍爾木茲海峽 and SaltWaterArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5312-5312 | 例 霍爾木茲海峽 and 海峽 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5154-5154 | 連接的 波斯灣 and 霍爾木茲海峽 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5314-5314 | 名 "Strait of Hormuz" and 霍爾木茲海峽 |
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 |