Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalOrganizationForMigration
InternationalOrganizationForMigration(international organization for migration)

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners