VladikavkazRussia
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2436-2436 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5544-5544 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5192-5192 | |
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 2435-2435 | VladikavkazRussia est une instance de ville |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3656-3656 | VladikavkazRussia s'appele nom "Vladikavkaz" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61826-61826 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61825-61825 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61824-61824 |