|
|
  JerusalemIsrael
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1837-1837 | 以色列 是 耶路撒冷以色列 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1838-1839 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1380-1380 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2978-2978 | 耶路撒冷以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1836-1836 | 例 耶路撒冷以色列 and City |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2996-2996 | 名 "Jerusalem" and 耶路撒冷以色列 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31561-31561 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31560-31560 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31559-31559 |
|
|
|
