USArmyRankingSystem(美国军队排名系统) |
No TPTP formula. May not be expressible in strict first order. | Military.kif 404-404 | |
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. | Military.kif 417-417 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 577-577 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 560-560 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 629-629 |