|
|
  UnitedNationsDevelopmentProgram
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | 天 22 and 月 November and 年 1965 是 聯合國發展計劃 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3869-3869 | 例 聯合國發展計劃 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3873-3873 | 經濟發展 是 聯合國發展計劃 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3874-3874 | 社會發展 是 聯合國發展計劃 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3875-3875 | 技術合作 是 聯合國發展計劃 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3914-3914 | 子組織 聯合國發展計劃 and 聯合國大會 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3871-3871 | 聯合國發展計劃 是 "UNDP" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3870-3870 | 聯合國發展計劃 是 "United Nations Development Program" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60100-60100 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60099-60099 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60098-60098 |
|
|
|