|
|
  Guinea
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3181-3181 | 幾內亞法郎 是 幾內亞 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1250-1250 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 654-654 | 發展中國家 是 幾內亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 270-270 | 較未發達國家 是 幾內亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 482-482 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 209-209 | 幾內亞 是 西非 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 210-210 | 例 幾內亞 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3988-3988 | 名 "Guinea" and 幾內亞 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26988-26988 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26987-26987 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26986-26986 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2707-2707 | "GN" 在 ISO-3166-1-alpha-2 denotes 幾內亞 |
|
|
|
