No TPTP formula. May not be expressible in strict first order. |
Military.kif 469-469 |
美国军衔e9 是 美国军衔e9特别 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 477-477 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 480-480 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 479-479 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 478-478 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60950-60950 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60949-60949 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60948-60948 |
|