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 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" in ISO-3166-1-alpha-2 denotes tonga |