No TPTP formula. May not be expressible in strict first order. |
Government.kif 2780-2780 |
和平利用原子能 是 在拉丁美洲和加勒比地区禁止核武器的机构 的 organizational 目标 |
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 3408-3408 |
和平利用原子能 是 国际原子能机构 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3691-3691 |
和平利用原子能 是 核能机构 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44904-44904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44903-44903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44902-44902 |
|