Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| USMilitaryRankE9special(US military rank e9special) |
| appearance as argument number 1 |
|
| (instance USMilitaryRankE9special USMilitaryRank) | Military.kif 745-745 | US military rank e9special is an instance of US military rank |
| (instance USMilitaryRankE9special SeniorNCORank) | Military.kif 746-746 | US military rank e9special is an instance of seniorNCO rank |
| (subAttribute USMilitaryRankE9special Soldier) | Military.kif 747-747 | US military rank e9special is a subattribute of soldier |
| (documentation USMilitaryRankE9special EnglishLanguage "A special USMilitaryRank above E9 that marks usually the end of carrier of non-commissioned officers.") | Military.kif 748-750 | US military rank e9special is a subattribute of soldier |
| appearance as argument number 2 |
|
|
|