Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SeniorNCORank

 Sigma KEE - SeniorNCORank
SeniorNCORank(seniorNCO rank)

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


(subclass SeniorNCORank NonCommissionedOfficerRank) Military.kif 586-586 SeniorNCO rank is a subclass of non commissioned officer rank
(documentation SeniorNCORank EnglishLanguage "Ranks with grade E7 through E9.") Military.kif 587-587 SeniorNCO rank is a subclass of non commissioned officer rank

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


(instance USMilitaryRankE7 SeniorNCORank) Military.kif 699-699 Chief petty officer is an instance of seniorNCO rank
(instance USMilitaryRankE8 SeniorNCORank) Military.kif 712-712 Senior chief petty officer is an instance of seniorNCO rank
(instance USMilitaryRankE9 SeniorNCORank) Military.kif 725-725 US military rank e9 is an instance of seniorNCO rank
(instance USMilitaryRankE9special SeniorNCORank) Military.kif 746-746 US military rank e9special is an instance of seniorNCO rank
(termFormat EnglishLanguage SeniorNCORank "seniorNCO rank") domainEnglishFormat.kif 52102-52102 US military rank e9special is an instance of seniorNCO rank
(termFormat ChineseTraditionalLanguage SeniorNCORank "高級NCO排名") domainEnglishFormat.kif 52103-52103 US military rank e9special is an instance of seniorNCO rank
(termFormat ChineseLanguage SeniorNCORank "高级NCO排名") domainEnglishFormat.kif 52104-52104 US military rank e9special is an instance of seniorNCO rank

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


(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 581-581 Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners