No TPTP formula. May not be expressible in strict first order. |
Military.kif 384-384 |
美国军衔e3 是 美国军衔e4 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 393-393 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 394-394 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 392-392 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60914-60914 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60913-60913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60912-60912 |
|