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 60916-60916 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60915-60915 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60914-60914 |
|