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