No TPTP formula. May not be expressible in strict first order. |
Military.kif 384-384 |
US military rank e3 is an immediate successor attribute of US military rank e4 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 393-393 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 394-394 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 392-392 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60914-60914 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60913-60913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60912-60912 |
|