|
|
   FinancialService
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3802-3802 | 天 5 and 月 August and 年 1971 是 太平洋島嶼論壇 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8636-8636 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9516-9516 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3799-3799 | 例 太平洋島嶼論壇 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3803-3803 | 政治合作 是 太平洋島嶼論壇 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3800-3800 | 太平洋島嶼論壇 是 "Pacific Island Forum" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3801-3801 | "South Pacific Forum" 是對於 太平洋島嶼論壇 的 former name |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43884-43884 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43883-43883 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43882-43882 |
|
|
|
