TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PrivateRank EnlistedSoldierRank)	Military.kif 589-589	Private rank is a subclass of enlisted soldier rank
(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 590-592	Private rank is a subclass of enlisted soldier rank

appearance as argument number 2

(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank)	Military.kif 544-544	Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank
(instance USMilitaryRankE1 PrivateRank)	Military.kif 621-621	Airman is an instance of private rank
(instance USMilitaryRankE2 PrivateRank)	Military.kif 634-634	Airman is an instance of private rank
(instance USMilitaryRankE3 PrivateRank)	Military.kif 647-647	Airman is an instance of private rank
(instance USMilitaryRankE4 PrivateRank)	Military.kif 660-660	Petty officer is an instance of private rank
(termFormat EnglishLanguage PrivateRank "private rank")	domainEnglishFormat.kif 47461-47461	Petty officer is an instance of private rank
(termFormat ChineseTraditionalLanguage PrivateRank "私人排名")	domainEnglishFormat.kif 47462-47462	Petty officer is an instance of private rank
(termFormat ChineseLanguage PrivateRank "私人排名")	domainEnglishFormat.kif 47463-47463	Petty officer is an instance of private rank