No TPTP formula. May not be expressible in strict first order. |
Military.kif 581-581 |
US military rank o9 is an immediate successor attribute of US military rank o10 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 589-589 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 588-588 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 591-591 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 590-590 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 592-592 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 586-586 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 585-585 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 587-587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60962-60962 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60961-60961 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60960-60960 |
|