No TPTP formula. May not be expressible in strict first order. |
Military.kif 532-532 |
美国军衔o5 是 美国军衔o6 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 540-540 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 539-539 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 537-537 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 536-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 538-538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60992-60992 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60991-60991 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60990-60990 |
|