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 MilitaryRank è una sottoclasse di SkilledOccupation

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


(subclass CommissionedOfficerRank MilitaryRank) Military.kif 271-271 CommissionedOfficerRank è una sottoclasse di MilitaryRank
(subclass EnlistedSoldierRank MilitaryRank) Military.kif 266-266 EnlistedSoldierRank è una sottoclasse di MilitaryRank
(subclass USMilitaryRank MilitaryRank) Military.kif 255-255 USMilitaryRank è una sottoclasse di MilitaryRank
(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 Il numero 2 argomenti di commandRankOfEchelon è un istanza di MilitaryRank

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