No TPTP formula. May not be expressible in strict first order. |
Military.kif 436-436 |
美国军衔e7 是 美国军衔e8 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 445-445 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 443-443 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 446-446 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 444-444 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60940-60940 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60939-60939 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60938-60938 |
|