|
|
  RepublicOfGeorgia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3157-3157 | 格鲁吉亚拉里 是 格鲁吉亚共和国 的 currency 类别 |
| 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 | 转型国家 是 格鲁吉亚共和国 的 economy 类别 |
| 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 | 格鲁吉亚共和国 是 西南亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 635-635 | 格鲁吉亚共和国 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4118-4118 | 格鲁吉亚共和国 是 agent 运作在 联合国驻格鲁吉亚观察团 地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2790-2790 | Djakashari 格鲁吉亚 是 格鲁吉亚共和国 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2855-2855 | 加利阿布哈兹格鲁吉亚 是 格鲁吉亚共和国 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3570-3570 | 第比利斯格鲁吉亚 是 格鲁吉亚共和国 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4192-4192 | 格鲁吉亚共和国 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 格鲁吉亚共和国 |
|
|
|
