|
|
  Tonga
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3527-3527 | 汤甘帕安加 是 汤加 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1367-1367 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 786-786 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 698-698 | 汤加 是 大洋洲 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 699-699 | 汤加 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4224-4224 | 汤加 的名 是 "Tonga" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58408-58408 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58407-58407 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58406-58406 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2826-2826 | "TO" 在 ISO-3166-1-alpha-2 denotes 汤加 |
|
|
|
