![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | dateEstablished InternationalOrganizationForMigration and le jour 5 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3579-3579 | InternationalOrganizationForMigration est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3588-3588 | organizationalObjective InternationalOrganizationForMigration and EmigrationAndImmigrationIssues |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3581-3581 | abbreviation "IOM" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3580-3580 | conventionalLongName "International Organization for Migration" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3584-3584 | formerName "ICEM" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3586-3586 | formerName "ICM" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3583-3583 | formerName "Intergovernmental Committee for European Migration" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3585-3585 | formerName "Intergovernmental Committee for Migration" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3582-3582 | formerName "Provisional Intergovernmental Committee for the Movement of Migrants from Europe" and InternationalOrganizationForMigration |
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 |
![]() |
![]() |