|
|
  TonganPaanga
|
|
|
| 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 | 汤甘帕安加 是 UnitOfCurrency 的 instance |
| appearance as argument number 2 |
|
|
| 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. | domainEnglishFormat.kif 58414-58414 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58413-58413 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58412-58412 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2470-2470 | "TOP" 在 ISO-4217-A denotes 汤甘帕安加 |
|
|
|
