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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SeniorNCORank
SeniorNCORank

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


(documentation SeniorNCORank EnglishLanguage "Ranks with grade E7 through E9.") Military.kif 312-312
(subclass SeniorNCORank NonCommissionedOfficerRank) Military.kif 311-311

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


(instance USMilitaryRankE7 SeniorNCORank) Military.kif 424-424
(instance USMilitaryRankE8 SeniorNCORank) Military.kif 437-437
(instance USMilitaryRankE9 SeniorNCORank) Military.kif 450-450
(instance USMilitaryRankE9special SeniorNCORank) Military.kif 471-471
(termFormat ChineseLanguage SeniorNCORank "高级NCO排名") domainEnglishFormat.kif 52107-52107
(termFormat ChineseTraditionalLanguage SeniorNCORank "高級NCO排名") domainEnglishFormat.kif 52106-52106
(termFormat EnglishLanguage SeniorNCORank "seniorNCO rank") domainEnglishFormat.kif 52105-52105

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


(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306


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