No TPTP formula. May not be expressible in strict first order. |
Military.kif 542-542 |
美国军衔o6 是 美国军衔o7 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 550-550 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 546-546 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 551-551 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 548-548 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 547-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 549-549 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 552-552 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60998-60998 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60997-60997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60996-60996 |
|