UnitedNationsDevelopmentProgram
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | 天 22 and 月 November and 年 1965 是 聯合國發展計劃 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3905-3905 | 例 聯合國發展計劃 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3909-3909 | 經濟發展 是 聯合國發展計劃 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3910-3910 | 社會發展 是 聯合國發展計劃 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3911-3911 | 技術合作 是 聯合國發展計劃 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3950-3950 | 子組織 聯合國發展計劃 and 聯合國大會 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3907-3907 | 聯合國發展計劃 是 "UNDP" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3906-3906 | 聯合國發展計劃 是 "United Nations Development Program" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60098-60098 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60097-60097 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60096-60096 |