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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JuniorNCORank
JuniorNCORank(juniorNCO rank)

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


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

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


(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306 Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank
(instance USMilitaryRankE5 JuniorNCORank) Military.kif 398-398 US military rank e5 is an instance of juniorNCO rank
(instance USMilitaryRankE6 JuniorNCORank) Military.kif 411-411 US military rank e6 is an instance of juniorNCO rank
(termFormat ChineseLanguage JuniorNCORank "初级NCO排名") domainEnglishFormat.kif 31921-31921
(termFormat ChineseTraditionalLanguage JuniorNCORank "初級NCO排名") domainEnglishFormat.kif 31920-31920
(termFormat EnglishLanguage JuniorNCORank "juniorNCO rank") domainEnglishFormat.kif 31919-31919


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