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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryRank
MilitaryRank

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

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


(subclass CommissionedOfficerRank MilitaryRank) Military.kif 271-271
(subclass EnlistedSoldierRank MilitaryRank) Military.kif 266-266
(subclass USMilitaryRank MilitaryRank) Military.kif 255-255
(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

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


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


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