No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2032-2042 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1996-1996 | CounterTerrorism e' uma sub-classe de CounterOperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2044-2044 | CTIntelligenceOperation e' uma sub-classe de CounterTerrorism |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2052-2052 | CTNwInfraAttack e' uma sub-classe de CounterTerrorism |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2060-2060 | CTHostageMaterielRecovery e' uma sub-classe de CounterTerrorism |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2069-2069 | CTNonKineticActivity e' uma sub-classe de CounterTerrorism |