No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 249-249 |
渗出 是 非常规战争 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 185-185 |
游击战 是 非常规战争 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 230-230 |
情报活动 是 非常规战争 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 219-219 |
破坏 是 非常规战争 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 210-210 |
颠覆 是 非常规战争 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 239-239 |
非常规辅助恢复 是 非常规战争 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59870-59870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59869-59869 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59868-59868 |
|