| UnitedNationsIndustrialDevelopmentOrganization(联合国工业发展组织)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4027-4027 | 17 Day 是 联合国工业发展组织 的成立 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 | 联合国工业发展组织 是 国际组织 的 instance |
| 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 | 联合国工业发展组织 是 经济和社会理事会 Organization 的一部分 |
| 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 |
|
|
|