No TPTP formula. May not be expressible in strict first order. |
Government.kif 3545-3545 |
国际移民组织 是 "IOM" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3544-3544 |
国际移民组织 是 "International Organization for Migration" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3548-3548 |
"ICEM" 是对于 国际移民组织 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3550-3550 |
"ICM" 是对于 国际移民组织 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3547-3547 |
"Intergovernmental Committee for European Migration" 是对于 国际移民组织 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3549-3549 |
"Intergovernmental Committee for Migration" 是对于 国际移民组织 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3546-3546 |
"Provisional Intergovernmental Committee for the Movement of Migrants from Europe" 是对于 国际移民组织 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30661-30661 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30660-30660 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30659-30659 |
|