No TPTP formula. May not be expressible in strict first order. |
Government.kif 3950-3950 |
軍備控制 是 聯合國裁軍研究所 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4255-4255 |
軍備控制 是 wassenaar安排 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2603-2603 |
子屬性 控制大規模殺傷性武器 and 軍備控制 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2602-2602 |
子屬性 常規軍備控制 and 軍備控制 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2598-2598 |
子屬性 武器檢查 and 軍備控制 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8442-8442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8441-8441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8440-8440 |
|