No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2186-2186 |
反侦察 是 反操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1996-1996 |
反恐 是 反操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1459-1459 |
反扩散 是 反操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17550-17550 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17549-17549 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17548-17548 |
|