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 | CounterproliferationWMD est une sous-classe de CounterOperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1460-1460 | CounterproliferationWMD est une sous-classe de RecoveryOperation |
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 2847-2847 | |
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 |
|