| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 549-549 | RecoveryOperation e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 240-240 | UnconventionalAssistedRecovery e' uma sub-classe de RecoveryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1460-1460 | CounterproliferationWMD e' uma sub-classe de RecoveryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2061-2061 | CTHostageMaterielRecovery e' uma sub-classe de RecoveryOperation |
|
|