|
|
  RiyadhSaudiArabia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2246-2246 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1419-1419 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3440-3440 | geographicSubregion RiyadhSaudiArabia and SaudiArabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2245-2245 | RiyadhSaudiArabia est une instance de ville |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3441-3441 | RiyadhSaudiArabia s'appele nom "Riyadh" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50134-50134 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50133-50133 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50132-50132 |
|
|
|
