No TPTP formula. May not be expressible in strict first order. |
Government.kif 3991-3991 |
聯合國區域間犯罪和司法研究所 是 "UNICRI" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3990-3990 |
聯合國區域間犯罪和司法研究所 是 "United Nations Interregional Crime and Justice Research Institute" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3993-3993 |
"UNSDRI" 是對於 聯合國區域間犯罪和司法研究所 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3992-3992 |
"United Nations Social Defense Research Institute" 是對於 聯合國區域間犯罪和司法研究所 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60176-60176 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60175-60175 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60174-60174 |
|