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 | Vladikavkaz俄羅斯 是 俄國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2435-2435 | 例 vladikavkaz俄羅斯 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3656-3656 | 名 "Vladikavkaz" and 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 |