| InternationalMaritimeOrganization(international maritime organization)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | The day 6 is a date established of international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3557-3559 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5633-5633 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5745-5745 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3550-3550 | International maritime organization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3562-3562 | International maritime affairs is an organizational objective of international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3113-3113 | International maritime organization is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3561-3561 | International maritime organization is a part of the organization united nations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3552-3552 | "IMO" is an abbreviation of international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3551-3551 | International maritime organization is a conventional long name of "International Maritime Organization" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3554-3554 | "IMCO" is a former name for international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3553-3553 | "Intergovernmental Maritime Consultative Organization" is a former name for international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30637-30637 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30636-30636 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30635-30635 |
|
|
|