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 |