No TPTP formula. May not be expressible in strict first order. |
Military.kif 644-644 |
美国军衔o2 是 美军军衔W3 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 649-649 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 652-652 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 650-650 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 651-651 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61036-61036 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61035-61035 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61034-61034 |
|