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

Formal Language: 



KB Term:  Term intersection
English Word: 

  commandRankOfEchelon

 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 O argumento numero 2 de commandRankOfEchelon e' uma instancia de MilitaryRank
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) Military.kif 705-705 O argumento numero 1 de commandRankOfEchelon e' uma sub-classe de MilitaryUnit
(instance commandRankOfEchelon BinaryPredicate) Military.kif 702-702 commandRankOfEchelon e' uma instancia de Predicado Binario

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