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 SeniorNCORankNonCommissionedOfficerRanksubclass では %n

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


(instance USMilitaryRankE7 SeniorNCORank) Military.kif 424-424 USMilitaryRankE7SeniorNCORankinstance では %n
(instance USMilitaryRankE8 SeniorNCORank) Military.kif 437-437 USMilitaryRankE8SeniorNCORankinstance では %n
(instance USMilitaryRankE9 SeniorNCORank) Military.kif 450-450 USMilitaryRankE9SeniorNCORankinstance では %n
(instance USMilitaryRankE9special SeniorNCORank) Military.kif 471-471 USMilitaryRankE9specialSeniorNCORankinstance では %n
(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 NonCommissionedOfficerRankJuniorNCORank + SeniorNCORankdisjointly decomposed %n


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