No TPTP formula. May not be expressible in strict first order. |
Military.kif 410-410 |
US military rank e5 is an immediate successor attribute of US military rank e6 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 421-421 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 420-420 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 418-418 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60928-60928 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60927-60927 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60926-60926 |
|