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 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 |