| 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 |
|
|
|