No TPTP formula. May not be expressible in strict first order. |
Government.kif 3700-3700 |
Nuclear export controls is an organizational objective of nuclear suppliers group |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4388-4388 |
Nuclear export controls is an organizational objective of zangger committee |
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 |
|