No TPTP formula. May not be expressible in strict first order. |
Military.kif 482-482 |
US military rank e9 is an immediate successor attribute of US military rank o1 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 487-487 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 486-486 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 488-488 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 490-490 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 489-489 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60958-60958 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60957-60957 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60956-60956 |
|