| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 131-131 | UnconventionalWarfare e' uma sub-classe de SpecialOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 132-132 | UnconventionalWarfare e' uma sub-classe de Helping |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 185-185 | GuerrillaWarfare e' uma sub-classe de UnconventionalWarfare |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 210-210 | Subversion e' uma sub-classe de UnconventionalWarfare |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 219-219 | Sabotage e' uma sub-classe de UnconventionalWarfare |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 230-230 | IntelligenceActivities e' uma sub-classe de UnconventionalWarfare |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 239-239 | UnconventionalAssistedRecovery e' uma sub-classe de UnconventionalWarfare |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 249-249 | Exfiltration e' uma sub-classe de UnconventionalWarfare |
|
|