No TPTP formula. May not be expressible in strict first order. |
Military.kif 397-397 |
US military rank e4 is an immediate successor attribute of US military rank e5 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 408-408 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 407-407 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 404-404 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 406-406 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 405-405 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60920-60920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60919-60919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60918-60918 |
|