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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PrivateRank
PrivateRank

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


(documentation PrivateRank EnglishLanguage "The lowest group of ranks in the military (Grade E1 through E4). These Soldiers usually have no authority based on their ranks.") Military.kif 315-317
(subclass PrivateRank EnlistedSoldierRank) Military.kif 314-314 PrivateRank est une sous-classe de EnlistedSoldierRank

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


(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 EnlistedSoldierRank est disjointement decompos� en PrivateRank + NonCommissionedOfficerRank
(instance USMilitaryRankE1 PrivateRank) Military.kif 346-346 USMilitaryRankE1 est une instance de PrivateRank
(instance USMilitaryRankE2 PrivateRank) Military.kif 359-359 USMilitaryRankE2 est une instance de PrivateRank
(instance USMilitaryRankE3 PrivateRank) Military.kif 372-372 USMilitaryRankE3 est une instance de PrivateRank
(instance USMilitaryRankE4 PrivateRank) Military.kif 385-385 USMilitaryRankE4 est une instance de PrivateRank
(termFormat ChineseLanguage PrivateRank "私人排名") domainEnglishFormat.kif 47468-47468
(termFormat ChineseTraditionalLanguage PrivateRank "私人排名") domainEnglishFormat.kif 47467-47467
(termFormat EnglishLanguage PrivateRank "private rank") domainEnglishFormat.kif 47466-47466


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