RepublicOfGeorgia(republic of georgia) | Georgia, Sakartvelo |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3157-3157 | Georgian lari is a currency type of republic of georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1239-1239 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 583-583 | Country in transition is an economy type of republic of georgia |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3594-3594 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 634-634 | Republic of georgia is a geographic subregion of southwestern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 635-635 | Republic of georgia is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4118-4118 | Republic of georgia is an agent operates in area of united nations observer mission in georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2790-2790 | Djakashari georgia is a geographic subregion of republic of georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2855-2855 | Gali abkhazia georgia is a geographic subregion of republic of georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3570-3570 | T bilisi georgia is a geographic subregion of republic of georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4192-4192 | Republic of georgia has name "Republic Of Georgia" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49562-49562 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49561-49561 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49560-49560 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2703-2703 | "GE" in ISO-3166-1-alpha-2 denotes republic of georgia |