No TPTP formula. May not be expressible in strict first order. |
Military.kif 371-371 |
美国军衔e2 是 美国军衔e3 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 379-379 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 380-380 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 378-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 382-382 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 381-381 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60908-60908 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60907-60907 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60906-60906 |
|