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


KB Term:  Term intersection
English Word: 

  JuniorNCORank

 Sigma KEE - JuniorNCORank
JuniorNCORank(juniorNCO rank)

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


(subclass JuniorNCORank NonCommissionedOfficerRank) Military.kif 583-583 JuniorNCO rank is a subclass of non commissioned officer rank
(documentation JuniorNCORank EnglishLanguage "Ranks with grade E5 or E6.") Military.kif 584-584 JuniorNCO rank is a subclass of non commissioned officer rank

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


(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 581-581 Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank
(instance USMilitaryRankE5 JuniorNCORank) Military.kif 673-673 Petty officer is an instance of juniorNCO rank
(instance USMilitaryRankE6 JuniorNCORank) Military.kif 686-686 Petty officer is an instance of juniorNCO rank
(termFormat EnglishLanguage JuniorNCORank "juniorNCO rank") domainEnglishFormat.kif 31923-31923 Petty officer is an instance of juniorNCO rank
(termFormat ChineseTraditionalLanguage JuniorNCORank "初級NCO排名") domainEnglishFormat.kif 31924-31924 Petty officer is an instance of juniorNCO rank
(termFormat ChineseLanguage JuniorNCORank "初级NCO排名") domainEnglishFormat.kif 31925-31925 Petty officer is an instance of juniorNCO 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