No TPTP formula. May not be expressible in strict first order. |
Government.kif 2609-2609 |
子屬性 CBW出口管制 and 控制生物和化學武器 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2610-2610 |
子屬性 消除化學武器 and 控制生物和化學武器 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17016-17016 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17015-17015 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17014-17014 |
|