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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO4

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 60980-60980
(termFormat ChineseTraditionalLanguage USMilitaryRankO4 "美國軍銜o4") domainEnglishFormat.kif 60979-60979
(termFormat EnglishLanguage USMilitaryRankO4 "US military rank o4") domainEnglishFormat.kif 60978-60978

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


(commandRankOfEchelon CompanyMilitary
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 742-743


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