No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 324-324 |
Direct action is a subclass of special operation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 18-18 |
Special reconnaissance is a subclass of special operation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 131-131 |
Unconventional warfare is a subclass of special operation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54540-54540 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54539-54539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54538-54538 |
|