| appearance as argument number 1 |
|
| (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 349-351 | |
| (instance USMilitaryRankE1 PrivateRank) | Military.kif 346-346 | USMilitaryRankE1 は PrivateRank の instance では %n |
| (instance USMilitaryRankE1 USMilitaryRank) | Military.kif 347-347 | USMilitaryRankE1 は USMilitaryRank の instance では %n |
| (subAttribute USMilitaryRankE1 Soldier) | Military.kif 348-348 | USMilitaryRankE1 は Soldier の subattribute では %n |
| (successorAttribute USMilitaryRankE1 USMilitaryRankE2) | Military.kif 358-358 | USMilitaryRankE1 は USMilitaryRankE2 の immediate successor attribute では %n |
| appearance as argument number 2 |
|
|
| (synonymousExternalConcept "Airman Basic" USMilitaryRankE1 USAirforceRankingSystem) | Military.kif 353-353 | |
| (synonymousExternalConcept "Private" USMilitaryRankE1 USArmyRankingSystem) | Military.kif 352-352 | |
| (synonymousExternalConcept "Private" USMilitaryRankE1 USMarineCorpsRankingSystem) | Military.kif 354-354 | |
| (synonymousExternalConcept "Seaman Recruit" USMilitaryRankE1 USCoastGuardRankingSystem) | Military.kif 356-356 | |
| (synonymousExternalConcept "Seaman Recruit" USMilitaryRankE1 USNavyRankingSystem) | Military.kif 355-355 | |
| (termFormat ChineseLanguage USMilitaryRankE1 "美国军衔e1") | domainEnglishFormat.kif 60896-60896 | |
| (termFormat ChineseTraditionalLanguage USMilitaryRankE1 "美國軍銜e1") | domainEnglishFormat.kif 60895-60895 | |
| (termFormat EnglishLanguage USMilitaryRankE1 "US military rank e1") | domainEnglishFormat.kif 60894-60894 |
|
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