TerminalAttackControl
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 451-463 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 449-449 | 终端攻击控制 是 分类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 448-448 | 终端攻击控制 是 直接行动活动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 450-450 | 终端攻击控制 是 陈述 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57536-57536 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57535-57535 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57534-57534 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 482-498 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 468-478 |