No TPTP formula. May not be expressible in strict first order. |
Military.kif 734-734 |
US military rank o5 is a command rank of echelon of battalion |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 522-522 |
US military rank o4 is an immediate successor attribute of US military rank o5 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 530-530 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 529-529 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 527-527 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 526-526 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 528-528 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60986-60986 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60985-60985 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60984-60984 |
|