No TPTP formula. May not be expressible in strict first order. |
Military.kif 358-358 |
US military rank e1 is an immediate successor attribute of US military rank e2 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 366-366 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 367-367 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 365-365 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 369-369 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 368-368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60904-60904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60903-60903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60902-60902 |
|