| PrivateRank | |
| 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 | PrivateRank は EnlistedSoldierRank の subclass では %n |
| appearance as argument number 2 |
|
|
| (disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) | Military.kif 269-269 | EnlistedSoldierRank は PrivateRank + NonCommissionedOfficerRank に disjointly decomposed %n |
| (instance USMilitaryRankE1 PrivateRank) | Military.kif 346-346 | USMilitaryRankE1 は PrivateRank の instance では %n |
| (instance USMilitaryRankE2 PrivateRank) | Military.kif 359-359 | USMilitaryRankE2 は PrivateRank の instance では %n |
| (instance USMilitaryRankE3 PrivateRank) | Military.kif 372-372 | USMilitaryRankE3 は PrivateRank の instance では %n |
| (instance USMilitaryRankE4 PrivateRank) | Military.kif 385-385 | USMilitaryRankE4 は PrivateRank の instance では %n |
| (termFormat ChineseLanguage PrivateRank "私人排名") | domainEnglishFormat.kif 47468-47468 | |
| (termFormat ChineseTraditionalLanguage PrivateRank "私人排名") | domainEnglishFormat.kif 47467-47467 | |
| (termFormat EnglishLanguage PrivateRank "private rank") | domainEnglishFormat.kif 47466-47466 |
|
|
|