EuropeanOrganizationForNuclearResearch(歐洲核研究組織) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3203-3203 | 天 1 and 月 July and 年 1953 是 歐洲核研究組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3199-3199 | 例 歐洲核研究組織 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3204-3204 | 和平利用原子能 是 歐洲核研究組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3206-3206 | 科學合作 是 歐洲核研究組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3205-3205 | 技術合作 是 歐洲核研究組織 的 organizational 目標 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3201-3201 | 歐洲核研究組織 是 "CERN" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3200-3200 | 歐洲核研究組織 是 "European Organization for Nuclear Research" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3202-3202 | "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 |