No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1606-1606 |
破产 是 运作计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2076-2076 |
反恐战略 是 运作计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1782-1782 |
OPLAN 是 运作计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42272-42272 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42271-42271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42270-42270 |
|