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 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

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 a uniao de USMilitaryRankO3 e 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