No TPTP formula. May not be expressible in strict first order. |
Government.kif 2743-2743 |
核不扩散 是 在拉丁美洲和加勒比地区禁止核武器的机构 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2607-2607 |
核裁军 是 核不扩散 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2606-2606 |
核出口管制 是 核不扩散 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41369-41369 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41368-41368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41367-41367 |
|