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

Show without tree

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