USMilitaryRankE7(US military rank e7) | ![]() | chief_petty_officer, first_sergeant, gunnery_sergeant, sergeant_first_class |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 427-429 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 424-424 | US military rank e7 is an instance of seniorNCO rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 425-425 | US military rank e7 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 426-426 | US military rank e7 is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 436-436 | US military rank e7 is an immediate successor attribute of US military rank e8 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 423-423 | US military rank e6 is an immediate successor attribute of US military rank e7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 434-434 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 433-433 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 432-432 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 431-431 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 430-430 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60932-60932 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60931-60931 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60930-60930 |
![]() |
![]() |