| PersianGulf(波斯灣)
| |
| appearance as argument number 1 |
|
|
| 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. | 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 | 例 波斯灣 and 海灣 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5152-5152 | 例 波斯灣 and SaltWaterArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4631-4631 | 連接的 印度洋 and 波斯灣 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5155-5155 | 空間的符合 伊朗 and 波斯灣 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5153-5153 | 名 "Persian Gulf" and 波斯灣 |
| 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 |
|
|
|