No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 249-249 |
Exfiltration e' uma sub-classe de UnconventionalWarfare |
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 230-230 |
IntelligenceActivities 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 210-210 |
Subversion 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. |
domainEnglishFormat.kif 59872-59872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59871-59871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59870-59870 |
|