No TPTP formula. May not be expressible in strict first order. |
Military.kif 423-423 |
US military rank e6 is an immediate successor attribute of US military rank e7 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 434-434 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 433-433 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 432-432 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 431-431 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 430-430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60932-60932 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60931-60931 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60930-60930 |
|