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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankO4
USMilitaryRankO4

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


(instance USMilitaryRankO4 FieldGradeOfficerRank) Military.kif 513-513
(instance USMilitaryRankO4 USMilitaryRank) Military.kif 514-514
(subAttribute USMilitaryRankO4 Soldier) Military.kif 515-515
(successorAttribute USMilitaryRankO4 USMilitaryRankO5) Military.kif 522-522

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


(successorAttribute USMilitaryRankO3 USMilitaryRankO4) Military.kif 512-512
(synonymousExternalConcept "Lieutenant Commander" USMilitaryRankO4 USCoastGuardRankingSystem) Military.kif 520-520
(synonymousExternalConcept "Lieutenant Commander" USMilitaryRankO4 USNavyRankingSystem) Military.kif 519-519
(synonymousExternalConcept "Major" USMilitaryRankO4 USAirforceRankingSystem) Military.kif 517-517
(synonymousExternalConcept "Major" USMilitaryRankO4 USArmyRankingSystem) Military.kif 516-516
(synonymousExternalConcept "Major" USMilitaryRankO4 USMarineCorpsRankingSystem) Military.kif 518-518
(termFormat ChineseLanguage USMilitaryRankO4 "美国军衔o4") domainEnglishFormat.kif 60925-60925
(termFormat ChineseTraditionalLanguage USMilitaryRankO4 "美國軍銜o4") domainEnglishFormat.kif 60924-60924
(termFormat EnglishLanguage USMilitaryRankO4 "US military rank o4") domainEnglishFormat.kif 60923-60923

statement
-------------------------


(commandRankOfEchelon Company-Military
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 741-742


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners