|
|
  EuropeanOrganizationForNuclearResearch
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3239-3239 | 1 Day 是 欧洲核研究组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3235-3235 | 欧洲核研究组织 是 国际组织 的 instance |
| 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 |
|
|
|