InternationalOrganizationForMigration
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | The day 5 is a date established of international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3579-3579 | International organization for migration is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3588-3588 | Emigration and immigration issues is an organizational objective of international organization for migration |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3581-3581 | "IOM" is an abbreviation of international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3580-3580 | International organization for migration is a conventional long name of "International Organization for Migration" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3584-3584 | "ICEM" is a former name for international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3586-3586 | "ICM" is a former name for international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3583-3583 | "Intergovernmental Committee for European Migration" is a former name for international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3585-3585 | "Intergovernmental Committee for Migration" is a former name for international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3582-3582 | "Provisional Intergovernmental Committee for the Movement of Migrants from Europe" is a former name for international organization for migration |
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 |