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 |
子屬性 核裁軍 and 核不擴散 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2642-2642 |
子屬性 核出口管制 and 核不擴散 |
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 |
|