| 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 455-457 | |
| (instance USMilitaryRankE4 PrivateRank) | Military.kif 452-452 | US military rank e4 is an instance of private rank |
| (instance USMilitaryRankE4 USMilitaryRank) | Military.kif 453-453 | US military rank e4 is an instance of US military rank |
| (subAttribute USMilitaryRankE4 Soldier) | Military.kif 454-454 | US military rank e4 is a subattribute of soldier |
| (successorAttribute USMilitaryRankE4 USMilitaryRankE5) | Military.kif 464-464 | 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