No TPTP formula. May not be expressible in strict first order. |
Military.kif 512-512 |
美国军衔o3 是 美国军衔o4 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 520-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 519-519 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 517-517 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 518-518 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60980-60980 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60979-60979 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60978-60978 |
|