USMarineCorpsRankingSystem(美国海军陆战队排名系统) |
No TPTP formula. May not be expressible in strict first order. | Military.kif 465-465 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 406-406 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 419-419 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 579-579 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 566-566 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 630-630 |