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 |
|