No TPTP formula. May not be expressible in strict first order. |
Military.kif 542-542 |
US military rank o6 is an immediate successor attribute of US military rank 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 61000-61000 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60999-60999 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60998-60998 |
|