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