No TPTP formula. May not be expressible in strict first order. |
Military.kif 469-469 |
US military rank e9 is an immediate successor attribute of US military rank e9special |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 477-477 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 480-480 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 479-479 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 478-478 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60950-60950 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60949-60949 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60948-60948 |
|