|
|
  JerusalemIsrael
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1837-1837 | capitalCity JerusalemIsrael and Israel |
| 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 | geographicSubregion JerusalemIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1836-1836 | JerusalemIsrael e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2996-2996 | JerusalemIsrael se chama nome "Jerusalem" |
| 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 |
|
|
|
