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