| Tonga(tonga)
| | Friendly_Islands, Kingdom_of_Tonga, Tonga |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3527-3527 | Tongan paanga is a currency type of tonga |
| 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 | Tonga is a geographic subregion of oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 699-699 | Tonga is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4224-4224 | Tonga has name "Tonga" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58406-58406 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58405-58405 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58404-58404 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2826-2826 | "TO" in ISO-3166-1-alpha-2 denotes tonga |
|
|
|