CounterproliferationWMD(反扩散) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1461-1474 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1459-1459 | 反扩散 是 反操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1460-1460 | 反扩散 是 恢复运作 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17556-17556 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17555-17555 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2796-2796 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17554-17554 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1478-1488 |