UnitedNationsInstituteForDisarmamentResearch
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5670-5670 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3983-3983 | 例 聯合國裁軍研究所 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3986-3986 | 軍備控制 是 聯合國裁軍研究所 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3982-3982 | 子組織 聯合國裁軍研究所 and 聯合國大會 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3985-3985 | 聯合國裁軍研究所 是 "UNIDIR" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3984-3984 | 聯合國裁軍研究所 是 "United Nations Institute for Disarmament Research" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60146-60146 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60145-60145 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60144-60144 |