|
|
  SaudiArabia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3437-3437 | currencyType SaudiArabia and SaudiArabianRiyal |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1340-1340 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 706-706 | economyType SaudiArabia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 322-322 | economyType SaudiArabia and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1558-1558 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 715-715 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 262-262 | geographicSubregion SaudiArabia and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 263-263 | SaudiArabia e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4805-4805 | SaudiArabia encontra RedSea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2777-2777 | geographicSubregion DhahranSaudiArabia and SaudiArabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3003-3003 | geographicSubregion JubialSaudiArabia and SaudiArabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3063-3063 | geographicSubregion KhobarSaudiArabia and SaudiArabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3212-3212 | geographicSubregion MeccaSaudiArabia and SaudiArabia |
| 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 4012-4012 | SaudiArabia se chama nome "Saudi Arabia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51321-51321 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51320-51320 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51319-51319 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2805-2805 | codeMapping ISO-3166-1-alpha-2, "SA" and SaudiArabia |
|
|
|
