![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CompanyGradeRank(company grade rank) | subaltern |
| appearance as argument number 1 |
|
|
| (subclass CompanyGradeRank CommissionedOfficerRank) | Military.kif 606-606 | Company grade rank is a subclass of commissioned officer rank |
| (documentation CompanyGradeRank EnglishLanguage "The ranks of junior officers are the three or four lowest ranks of officers, possibily complicated by the status of trainee officers. Their units are generally not expected to operate independently for any significant length of time. Typical ranks for this level are captains, who typically lead companies and smaller units Lieutenant. Company grade officers will also fill staff roles in some units. (from Wikipedia)") | Military.kif 607-613 | Company grade rank is a subclass of commissioned officer rank |
| appearance as argument number 2 |
|
|
| appearance as argument number 4 |
|
|