UnitedNationsIndustrialDevelopmentOrganization
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4027-4027 | 天 17 and 月 November and 年 1966 是 聯合國工業發展組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5669-5669 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4024-4024 | 例 聯合國工業發展組織 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4028-4028 | 經濟發展 是 聯合國工業發展組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4029-4029 | 技術合作 是 聯合國工業發展組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3121-3121 | 子組織 聯合國工業發展組織 and 經濟和社會理事會 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4026-4026 | 聯合國工業發展組織 是 "UNIDO" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4025-4025 | 聯合國工業發展組織 是 "United Nations Industrial Development Organization" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60140-60140 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60139-60139 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60138-60138 |