No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 324-324 |
子類 直接行動 and 特別行動 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 18-18 |
子類 特別偵察 and 特別行動 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 131-131 |
子類 非常規戰爭 and 特別行動 |
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 |
|