No TPTP formula. May not be expressible in strict first order. |
Military.kif 755-755 |
US military rank o2 is a command rank of echelon of platoon |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 492-492 |
US military rank o1 is an immediate successor attribute of US military rank o2 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 497-497 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 496-496 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 498-498 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 500-500 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 499-499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60968-60968 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60967-60967 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60966-60966 |
|