MilitaryOperation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 19-21 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 23-23 | Military operation is a subclass of military process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2432-2432 | The range of aborted mission is an instance 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. | 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 388-388 | Direct action 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. | 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 1850-1850 | Information operation 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 422-422 | Military assault 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 1105-1105 | Psychological operation 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. | Military.kif 80-80 | Security operation is a subclass of military operation |
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. | domainEnglishFormat.kif 37673-37673 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37672-37672 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37671-37671 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2431-2431 | The number 2 argument of aborted mission is an instance of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1315-1315 | The number 2 argument of area of operation is an instance of military operation |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1326-1331 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1794-1800 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1678-1683 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1573-1580 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 25-30 |
|
consequent |