| Russia
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3425-3425 | currencyType Russia and RussianRuble |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1331-1332 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 594-594 | economyType Russia and CountryInTransition |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 700-700 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 561-561 | geographicSubregion Russia and NorthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 562-562 | Russia est une instance de nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 749-749 | capitalCity MoscowRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2522-2522 | geographicSubregion AlkhanYurtRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2550-2550 | geographicSubregion ArgunRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2684-2684 | geographicSubregion BuinakskRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2717-2717 | geographicSubregion ChernoRechyeRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2762-2762 | geographicSubregion DagestanRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3172-3172 | geographicSubregion MakhachkalaRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3252-3252 | geographicSubregion MoscowRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3327-3327 | geographicSubregion NovogroznyRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3329-3329 | geographicSubregion NovyyAtagiRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3448-3448 | geographicSubregion RostovOnDonRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3474-3474 | geographicSubregion SamashkiRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3632-3632 | geographicSubregion UrsMartanRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3655-3655 | geographicSubregion VladikavkazRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3657-3657 | geographicSubregion VladivostokRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3659-3659 | geographicSubregion VolgodonskRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4158-4158 | Russia s'appele nom "Russia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50637-50637 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50636-50636 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50635-50635 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2797-2797 | codeMapping ISO-3166-1-alpha-2, "RU" and Russia |
|
|
|