No TPTP formula. May not be expressible in strict first order. |
Military.kif 423-423 |
美国军衔e6 是 美国军衔e7 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 434-434 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 433-433 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 432-432 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 431-431 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 430-430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60932-60932 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60931-60931 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60930-60930 |
|