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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - commandRankOfEchelon
commandRankOfEchelon

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


(documentation commandRankOfEchelon EnglishLanguage "The typical MilitaryRank of the leader of an instance of the given MilitaryEchelon.") Military.kif 703-704
(domain commandRankOfEchelon 2 MilitaryRank) Military.kif 706-706 domain commandRankOfEchelon, 2 and MilitaryRank
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) Military.kif 705-705 domainSubclass commandRankOfEchelon, 1 and MilitaryUnit
(instance commandRankOfEchelon BinaryPredicate) Military.kif 702-702 instance commandRankOfEchelon and BinaryPredicate

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


(format ChineseLanguage commandRankOfEchelon "%2 %n 是 %1 的 command 梯队等级") domainEnglishFormat.kif 484-484
(format ChineseTraditionalLanguage commandRankOfEchelon "%2 %n 是 %1 的 command 梯隊等級") domainEnglishFormat.kif 483-483
(format EnglishLanguage commandRankOfEchelon "%2 is %n a command rank of echelon of %1") domainEnglishFormat.kif 482-482
(termFormat ChineseLanguage commandRankOfEchelon "梯队指挥等级") domainEnglishFormat.kif 15746-15746
(termFormat ChineseTraditionalLanguage commandRankOfEchelon "梯隊指揮等級") domainEnglishFormat.kif 15745-15745
(termFormat EnglishLanguage commandRankOfEchelon "command rank of echelon") domainEnglishFormat.kif 15744-15744

appearance as argument number 0
-------------------------


(commandRankOfEchelon Battalion USMilitaryRankO5) Military.kif 734-734 commandRankOfEchelon Battalion and USMilitaryRankO5
(commandRankOfEchelon Company-Military
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 742-743 commandRankOfEchelon Company-Military and UnionFn USMilitaryRankO3 and USMilitaryRankO4
(commandRankOfEchelon Platoon USMilitaryRankO2) Military.kif 755-755 commandRankOfEchelon Platoon and USMilitaryRankO2


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