No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 549-549 | Recovery operation is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 240-240 | Unconventional assisted recovery is a subclass of recovery operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1460-1460 | CounterproliferationWM d is a subclass of recovery operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2061-2061 | CT hostage materiel recovery is a subclass of recovery operation |