|
|
  EuropeanOrganizationForNuclearResearch
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3239-3239 | 天 1 and 月 July and 年 1953 是 歐洲核研究組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3235-3235 | 例 歐洲核研究組織 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3240-3240 | 和平利用原子能 是 歐洲核研究組織 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3242-3242 | 科學合作 是 歐洲核研究組織 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3241-3241 | 技術合作 是 歐洲核研究組織 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3237-3237 | 歐洲核研究組織 是 "CERN" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3236-3236 | 歐洲核研究組織 是 "European Organization for Nuclear Research" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3238-3238 | "Conseil Europeenne pour la Recherche Nucleaire" 是對於 歐洲核研究組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22582-22582 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22581-22581 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22580-22580 |
|
|
|