USMilitaryRankO7(US military rank o7) | ![]() | brigadier, brigadier_general |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 620-620 | US military rank o7 is an instance of flag officer rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 621-621 | US military rank o7 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 622-622 | US military rank o7 is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 632-632 | US military rank o7 is an immediate successor attribute of US military rank o8 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 619-619 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 627-627 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 623-623 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 628-628 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 625-625 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 624-624 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 626-626 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 630-630 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 629-629 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60992-60992 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60991-60991 | US military rank o6 is an immediate successor attribute of US military rank o7 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60990-60990 | US military rank o6 is an immediate successor attribute of US military rank o7 |
![]() |
![]() |