| appearance as argument number 1 |
|
| (documentation USMilitaryRankE4 EnglishLanguage "A USMilitaryRank that is variously called Senior Airman in the Air Force, Specialist or Corporal in the USArmy, Corporal in the USMarineCorps, and Petty Officer 3rd Class in the USNavy.") | Military.kif 388-390 | |
| (instance USMilitaryRankE4 PrivateRank) | Military.kif 385-385 | US military rank e4 is an instance of private rank |
| (instance USMilitaryRankE4 USMilitaryRank) | Military.kif 386-386 | US military rank e4 is an instance of US military rank |
| (subAttribute USMilitaryRankE4 Soldier) | Military.kif 387-387 | US military rank e4 is a subattribute of soldier |
| (successorAttribute USMilitaryRankE4 USMilitaryRankE5) | Military.kif 397-397 | US military rank e4 is an immediate successor attribute of US military rank e5 |
| appearance as argument number 2 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners