TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FlagOfficerRank CommissionedOfficerRank)	Military.kif 594-594	Flag officer rank is a subclass of commissioned officer rank
(documentation FlagOfficerRank EnglishLanguage "Admirals (Navy), Generals (Army) and Marshals who typically command units that are expected to operate independently for extended periods of time (brigades and larger, fleets of ships). (from Wikipedia)")	Military.kif 595-598	Flag officer rank is a subclass of commissioned officer rank

appearance as argument number 2

(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank)	Military.kif 558-559	Commissioned officer rank is disjointly decomposed into flag officer rank, field grade officer rank, and company grade rank
(instance USMilitaryRankO7 FlagOfficerRank)	Military.kif 818-818	US military rank o7 is an instance of flag officer rank
(instance USMilitaryRankO8 FlagOfficerRank)	Military.kif 831-831	US military rank o8 is an instance of flag officer rank
(instance USMilitaryRankO9 FlagOfficerRank)	Military.kif 844-844	US military rank o9 is an instance of flag officer rank
(instance USMilitaryRankO10 FlagOfficerRank)	Military.kif 857-857	US military rank o10 is an instance of flag officer rank
(instance USMilitaryRankSpecial FlagOfficerRank)	Military.kif 870-870	US military rank special is an instance of flag officer rank
(termFormat EnglishLanguage FlagOfficerRank "flag officer rank")	domainEnglishFormat.kif 24154-24154	US military rank special is an instance of flag officer rank
(termFormat ChineseTraditionalLanguage FlagOfficerRank "國旗官員級別")	domainEnglishFormat.kif 24155-24155	US military rank special is an instance of flag officer rank
(termFormat ChineseLanguage FlagOfficerRank "国旗官员级别")	domainEnglishFormat.kif 24156-24156	US military rank special is an instance of flag officer rank