UnitedNationsInstituteForTrainingAndResearch
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3998-3998 | 天 11 and 月 December and 年 1963 是 聯合國訓練研究所 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3995-3995 | 例 聯合國訓練研究所 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3999-3999 | 教育合作 是 聯合國訓練研究所 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3917-3917 | 子組織 聯合國訓練研究所 and 聯合國大會 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3997-3997 | 聯合國訓練研究所 是 "UNITAR" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3996-3996 | 聯合國訓練研究所 是 "United Nations Institute for Training and Research" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60154-60154 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60153-60153 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60152-60152 |