Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO1

Sigma KEE - USMilitaryRankO1
USMilitaryRankO1

appearance as argument number 1
-------------------------


(instance USMilitaryRankO1 CompanyGradeRank) Military.kif 483-483
(instance USMilitaryRankO1 USMilitaryRank) Military.kif 484-484
(subAttribute USMilitaryRankO1 Soldier) Military.kif 485-485
(successorAttribute USMilitaryRankO1 USMilitaryRankO2) Military.kif 492-492

appearance as argument number 2
-------------------------


(successorAttribute USMilitaryRankE9 USMilitaryRankO1) Military.kif 482-482
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USAirforceRankingSystem) Military.kif 487-487
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USArmyRankingSystem) Military.kif 486-486
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USMarineCorpsRankingSystem) Military.kif 488-488
(synonymousExternalConcept "Ensign" USMilitaryRankO1 USCoastGuardRankingSystem) Military.kif 490-490
(synonymousExternalConcept "Ensign" USMilitaryRankO1 USNavyRankingSystem) Military.kif 489-489
(termFormat ChineseLanguage USMilitaryRankO1 "美国军衔o1") domainEnglishFormat.kif 60958-60958
(termFormat ChineseTraditionalLanguage USMilitaryRankO1 "美國軍銜o1") domainEnglishFormat.kif 60957-60957
(termFormat EnglishLanguage USMilitaryRankO1 "US military rank o1") domainEnglishFormat.kif 60956-60956


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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