|
|
  PacificIslandForum
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3766-3766 | 天 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 3763-3763 | 例 太平洋島嶼論壇 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3767-3767 | 政治合作 是 太平洋島嶼論壇 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3764-3764 | 太平洋島嶼論壇 是 "Pacific Island Forum" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3765-3765 | "South Pacific Forum" 是對於 太平洋島嶼論壇 的 former name |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43886-43886 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43885-43885 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43884-43884 |
|
|
|
