| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3700-3700 |
核出口管制 是 核供應國集團 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4388-4388 |
核出口管制 是 桑格委員會 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41355-41355 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41354-41354 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41353-41353 |
|
NuclearExportControls