| InternationalMaritimeOrganization(国际海事组织)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | 6 Day 是 国际海事组织 的成立 date |
| 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 | 国际海事组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3562-3562 | 国际海事 是 国际海事组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3113-3113 | 国际海事组织 是 经济和社会理事会 Organization 的一部分 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3561-3561 | 国际海事组织 是 联合国 Organization 的一部分 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3552-3552 | 国际海事组织 是 "IMO" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3551-3551 | 国际海事组织 是 "International Maritime Organization" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3554-3554 | "IMCO" 是对于 国际海事组织 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3553-3553 | "Intergovernmental Maritime Consultative Organization" 是对于 国际海事组织 的 former name |
| 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 |
|
|
|