Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| USMilitaryRankE1(airman) |
| appearance as argument number 1 |
|
| (instance USMilitaryRankE1 PrivateRank) | Military.kif 621-621 | Airman is an instance of private rank |
| (instance USMilitaryRankE1 USMilitaryRank) | Military.kif 622-622 | Airman is an instance of US military rank |
| (subAttribute USMilitaryRankE1 Soldier) | Military.kif 623-623 | Airman is a subattribute of soldier |
| (documentation USMilitaryRankE1 EnglishLanguage "A USMilitaryRank that is variously called Airman Basic in the Air Force, Private in the USArmy, Private in the USMarineCorps, and Seaman Recruit in the USNavy.") | Military.kif 624-626 | Airman is a subattribute of soldier |
| (successorAttribute USMilitaryRankE1 USMilitaryRankE2) | Military.kif 633-633 | Airman is an immediate successor attribute of airman |
| appearance as argument number 2 |
|
|
|