No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2432-2432 |
任务中止 的 range 是 军事行动 的实例 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2362-2362 |
民政活动 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2168-2168 |
反操作 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 388-388 |
直接行动活动 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 49-49 |
食品配送业务 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1905-1905 |
外国内部防御 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1850-1850 |
信息操作 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1716-1716 |
联合行动 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 422-422 |
军事攻击 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1521-1521 |
运营计划 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1105-1105 |
心理操作 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 673-673 |
ReconnaissanceOperation 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 80-80 |
安全行动 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 272-272 |
特别行动 是 军事行动 的 subclass |
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 |
|