|
|
   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 | DirectActionActivity e' uma sub-classe de Manobra |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 388-388 | DirectActionActivity e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 389-389 | DirectActionActivity e' uma sub-classe de ViolentContest |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 656-656 | AntiSurfaceOperation e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 410-410 | DirectAmbush e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 426-426 | DirectAssault e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 589-589 | PreciseDestruction e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 400-400 | Raid e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 549-549 | RecoveryOperation e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 436-436 | StandoffAttack e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 448-448 | TerminalAttackControl e' uma sub-classe de DirectActionActivity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 500-500 | TerminalGuidance e' uma sub-classe de DirectActionActivity |
| 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 |
|
|
|
|