|
|
  InternationalMaritimeOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | dateEstablished InternationalMaritimeOrganization and o dia 6 |
| 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 | InternationalMaritimeOrganization e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3562-3562 | organizationalObjective InternationalMaritimeOrganization and InternationalMaritimeAffairs |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3113-3113 | InternationalMaritimeOrganization e' uma parte da organizacao EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3561-3561 | InternationalMaritimeOrganization e' uma parte da organizacao UnitedNations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3552-3552 | abbreviation "IMO" and InternationalMaritimeOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3551-3551 | conventionalLongName "International Maritime Organization" and InternationalMaritimeOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3554-3554 | formerName "IMCO" and InternationalMaritimeOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3553-3553 | formerName "Intergovernmental Maritime Consultative Organization" and InternationalMaritimeOrganization |
| 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 |
|
|
|
