DirectActionActivity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 391-392 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 390-390 | Direct action activity is a subclass of maneuver |
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 389-389 | Direct action activity is a subclass of violent contest |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 656-656 | Anti surface operation is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 410-410 | Direct ambush is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 426-426 | Direct assault is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 589-589 | Precise destruction is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 400-400 | Raid is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 549-549 | Recovery operation is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 436-436 | Standoff attack is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 448-448 | Terminal attack control is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 500-500 | Terminal guidance is a subclass of direct action activity |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19650-19650 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19649-19649 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19648-19648 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 393-398 |
|