| SaudiArabia(saudi arabia)
| | Kingdom_of_Saudi_Arabia, Saudi_Arabia |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3437-3437 | Saudi arabian riyal is a currency type of saudi arabia |
| 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 | Developing country is an economy type of saudi arabia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 322-322 | Less developed country is an economy type of saudi arabia |
| 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 | Saudi arabia is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 263-263 | Saudi arabia is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4805-4805 | Saudi arabia meets red sea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2777-2777 | Dhahran saudi arabia is a geographic subregion of saudi arabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3003-3003 | Jubial saudi arabia is a geographic subregion of saudi arabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3063-3063 | Khobar saudi arabia is a geographic subregion of saudi arabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3212-3212 | Mecca saudi arabia is a geographic subregion of saudi arabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3440-3440 | Riyadh saudi arabia is a geographic subregion of saudi arabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4012-4012 | Saudi arabia has name "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 | "SA" in ISO-3166-1-alpha-2 denotes saudi arabia |
|
|
|