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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SeniorNCORank
SeniorNCORank(seniorNCO rank)

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 SeniorNCO rank is a subclass of non commissioned officer rank

appearance as argument number 2

(instance USMilitaryRankE7 SeniorNCORank) Military.kif 424-424 US military rank e7 is an instance of seniorNCO rank
(instance USMilitaryRankE8 SeniorNCORank) Military.kif 437-437 US military rank e8 is an instance of seniorNCO rank
(instance USMilitaryRankE9 SeniorNCORank) Military.kif 450-450 US military rank e9 is an instance of seniorNCO rank
(instance USMilitaryRankE9special SeniorNCORank) Military.kif 471-471 US military rank e9special is an instance of seniorNCO rank
(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 Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank

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