Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  USMilitaryRankE3
|
|
|
| appearance as argument number 1 |
|
|
| (instance USMilitaryRankE3 PrivateRank) | Military.kif 647-647 | Airman is an instance of private rank |
| (instance USMilitaryRankE3 USMilitaryRank) | Military.kif 648-648 | Airman is an instance of US military rank |
| (subAttribute USMilitaryRankE3 Soldier) | Military.kif 649-649 | Airman is a subattribute of soldier |
| (documentation USMilitaryRankE3 EnglishLanguage "A USMilitaryRank that is variously called Airman First Class in the Air Force, Private First Class in the USArmy, Lance Corporal in the USMarineCorps, and Seaman in the USNavy.") | Military.kif 650-652 | Airman is a subattribute of soldier |
| (successorAttribute USMilitaryRankE3 USMilitaryRankE4) | Military.kif 659-659 | Airman is an immediate successor attribute of petty officer |
| appearance as argument number 2 |
|
|
|