|
|
  AsiaPacificEconomicCooperation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | 天 7 and 月 November and 年 1989 是 亞太經濟合作 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5870-5870 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6134-6134 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6129-6129 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6130-6130 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2818-2818 | 例 亞太經濟合作 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2822-2822 | 促進貿易和投資 是 亞太經濟合作 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2820-2820 | 亞太經濟合作 是 "APEC" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2819-2819 | 亞太經濟合作 是 "Asia-Pacific Economic Cooperation" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8676-8676 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8675-8675 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8674-8674 |
|
|
|
