No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 749-749 |
Russia is a capital city of moscow russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2522-2522 |
Alkhan yurt russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2550-2550 |
Argun russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2684-2684 |
Buinaksk russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2717-2717 |
Cherno rechye russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2762-2762 |
Dagestan russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3172-3172 |
Makhachkala russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3252-3252 |
Moscow russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3327-3327 |
Novogrozny russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3329-3329 |
Novyy atagi russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3448-3448 |
Rostov on don russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3474-3474 |
Samashki russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3632-3632 |
Urs martan russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3655-3655 |
Vladikavkaz russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3657-3657 |
Vladivostok russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3659-3659 |
Volgodonsk russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4158-4158 |
Russia has name "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 |
|