No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 23-23 | Military operation is a subclass of military process |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 272-272 | Special operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 388-388 | Direct action activity is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 422-422 | Military assault is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 673-673 | Reconnaissance operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1105-1105 | Psychological operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1521-1521 | Operation planning is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1716-1716 | Joint operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1850-1850 | Information operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1905-1905 | Foreign internal defense is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2168-2168 | Counter operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2362-2362 | Civil affairs activity is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | Military.kif 49-49 | Food distribution operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | Military.kif 80-80 | Security operation is a subclass of military operation |