| PrivateRank(private rank) | | buck_private, common_soldier, private |
| appearance as argument number 1 |
|
|
| (documentation PrivateRank EnglishLanguage "The lowest group of ranks in the military (Grade E1 through E4). These Soldiers usually have no authority based on their ranks.") | Military.kif 315-317 | |
| (subclass PrivateRank EnlistedSoldierRank) | Military.kif 314-314 | Private rank is a subclass of enlisted soldier rank |
| appearance as argument number 2 |
|
|
| (disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) | Military.kif 269-269 | Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
| (instance USMilitaryRankE1 PrivateRank) | Military.kif 346-346 | US military rank e1 is an instance of private rank |
| (instance USMilitaryRankE2 PrivateRank) | Military.kif 359-359 | US military rank e2 is an instance of private rank |
| (instance USMilitaryRankE3 PrivateRank) | Military.kif 372-372 | US military rank e3 is an instance of private rank |
| (instance USMilitaryRankE4 PrivateRank) | Military.kif 385-385 | US military rank e4 is an instance of private rank |
| (termFormat ChineseLanguage PrivateRank "私人排名") | domainEnglishFormat.kif 47468-47468 | |
| (termFormat ChineseTraditionalLanguage PrivateRank "私人排名") | domainEnglishFormat.kif 47467-47467 | |
| (termFormat EnglishLanguage PrivateRank "private rank") | domainEnglishFormat.kif 47466-47466 |
|
|
|