No TPTP formula. May not be expressible in strict first order. |
Military.kif 555-555 |
美国军衔o7 是 美国军衔o8 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 561-561 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 559-559 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 562-562 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 563-563 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 565-565 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 560-560 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 566-566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61004-61004 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61003-61003 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61002-61002 |
|