|
|
  RepublicOfGeorgia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3157-3157 | currencyType RepublicOfGeorgia and GeorgianLari |
| 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 | economyType RepublicOfGeorgia and CountryInTransition |
| 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 | geographicSubregion RepublicOfGeorgia and SouthwesternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 635-635 | RepublicOfGeorgia e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4118-4118 | agentOperatesInArea UnitedNationsObserverMissionInGeorgia and RepublicOfGeorgia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2790-2790 | geographicSubregion DjakashariGeorgia and RepublicOfGeorgia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2855-2855 | geographicSubregion GaliAbkhaziaGeorgia and RepublicOfGeorgia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3570-3570 | geographicSubregion TBilisiGeorgia and RepublicOfGeorgia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4192-4192 | RepublicOfGeorgia se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "GE" and RepublicOfGeorgia |
|
|
|
