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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 commandRankOfEchelon の数値 2 引数は MilitaryRankinstance では %n
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) Military.kif 705-705 commandRankOfEchelon の数値 1 引数は MilitaryUnitsubclass では %n
(instance commandRankOfEchelon BinaryPredicate) Military.kif 702-702 commandRankOfEchelon2進述語instance では %n

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 15756-15756
(termFormat ChineseTraditionalLanguage commandRankOfEchelon "梯隊指揮等級") domainEnglishFormat.kif 15755-15755
(termFormat EnglishLanguage commandRankOfEchelon "command rank of echelon") domainEnglishFormat.kif 15754-15754

appearance as argument number 0

(commandRankOfEchelon Battalion USMilitaryRankO5) Military.kif 734-734 commandRankOfEchelon Battalion and USMilitaryRankO5
(commandRankOfEchelon CompanyMilitary
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 742-743 commandRankOfEchelon CompanyMilitary and USMilitaryRankO3USMilitaryRankO4union
(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