|
|
  InternationalMaritimeOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3519-3519 | 天 6 and 月 March and 年 1948 是 國際海事組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3521-3523 | |
| 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 3514-3514 | 例 國際海事組織 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3526-3526 | 國際海事 是 國際海事組織 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3077-3077 | 子組織 國際海事組織 and 經濟和社會理事會 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3525-3525 | 子組織 國際海事組織 and 聯合國 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3516-3516 | 國際海事組織 是 "IMO" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | 國際海事組織 是 "International Maritime Organization" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3518-3518 | "IMCO" 是對於 國際海事組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3517-3517 | "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 |
|
|
|
