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