| RiyadhSaudiArabia(riyadh saudi arabia)
| | Riyadh, capital_of_Saudi_Arabia |
| 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 | Riyadh saudi arabia is a geographic subregion of saudi arabia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2245-2245 | Riyadh saudi arabia is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3441-3441 | Riyadh saudi arabia has name "Riyadh" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50132-50132 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50131-50131 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50130-50130 |
|
|
|