No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 324-324 |
直接行动 是 特别行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 18-18 |
特别侦察 是 特别行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 131-131 |
非常规战争 是 特别行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54540-54540 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54539-54539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54538-54538 |
|