| InternationalMaritimeOrganization(international maritime organization)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3535-3535 | The day 6 is a date established of international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3537-3539 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5634-5634 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5746-5746 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3530-3530 | International maritime organization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | International maritime affairs is an organizational objective of international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3093-3093 | 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 3541-3541 | 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 3532-3532 | "IMO" is an abbreviation of international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3531-3531 | 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 3534-3534 | "IMCO" is a former name for international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3533-3533 | "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 30624-30624 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30623-30623 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30622-30622 |
|
|
|