|
|
  WorldMeteorologicalOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4362-4362 | 天 11 and 月 October and 年 1947 是 世界氣象組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4359-4359 | 例 世界氣象組織 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4363-4363 | 科學合作 是 世界氣象組織 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3125-3125 | 子組織 世界氣象組織 and 經濟和社會理事會 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4361-4361 | 世界氣象組織 是 "WMO" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4360-4360 | 世界氣象組織 是 "World Meteorological Organization" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63531-63531 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63530-63530 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63529-63529 |
|
|
|