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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryRank

Sigma KEE - MilitaryRank
MilitaryRank(military rank)color_sergeant

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


(documentation MilitaryRank EnglishLanguage "The class of Positions in a Military. Rank is usually commensurate with degrees of power, prestige and pay.") Military.kif 246-248
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245 Military rank is a subclass of skilled occupation

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


(subclass CommissionedOfficerRank MilitaryRank) Military.kif 271-271 Commissioned officer rank is a subclass of military rank
(subclass EnlistedSoldierRank MilitaryRank) Military.kif 266-266 Enlisted soldier rank is a subclass of military rank
(subclass USMilitaryRank MilitaryRank) Military.kif 255-255 US military rank is a subclass of military rank
(termFormat ChineseLanguage MilitaryRank "军衔") domainEnglishFormat.kif 37703-37703
(termFormat ChineseTraditionalLanguage MilitaryRank "軍銜") domainEnglishFormat.kif 37702-37702
(termFormat EnglishLanguage MilitaryRank "military rank") domainEnglishFormat.kif 37701-37701

appearance as argument number 3
-------------------------


(domain commandRankOfEchelon 2 MilitaryRank) Military.kif 706-706 The number 2 argument of command rank of echelon is an instance of military rank

antecedent
-------------------------


(=>
    (and
        (attribute ?P ?R)
        (instance ?R MilitaryRank))
    (member ?P MilitaryService))
Military.kif 249-253


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