more pictures...
| TonganPaanga(tongan paanga)
more pictures... | | pa'anga |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4388-4388 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4391-4391 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4389-4389 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4392-4392 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4393-4393 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4390-4390 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4043-4043 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3525-3525 | Tongan paanga is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| 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. | domainEnglishFormat.kif 58412-58412 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58411-58411 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58410-58410 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2470-2470 | "TOP" in ISO-4217-A denotes tongan paanga |
|
|
|