|
|
  UmAlFahmIsrael
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2408-2408 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3385-3385 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3624-3624 | geographicSubregion UmAlFahmIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2407-2407 | UmAlFahmIsrael est une instance de ville |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3625-3625 | UmAlFahmIsrael s'appele nom "Um al-Fahm" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59824-59824 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59823-59823 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59822-59822 |
|
|
|
