No TPTP formula. May not be expressible in strict first order. |
Military.kif 358-358 |
美国军衔e1 是 美国军衔e2 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 366-366 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 367-367 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 365-365 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 369-369 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 368-368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60902-60902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60901-60901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60900-60900 |
|