| appearance as argument number 1 |
|
| (documentation commandRankOfEchelon EnglishLanguage "The typical MilitaryRank of the leader of an instance of the given MilitaryEchelon.") | Military.kif 780-781 | |
| (domain commandRankOfEchelon 2 MilitaryRank) | Military.kif 783-783 | |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 782-782 | |
| (instance commandRankOfEchelon BinaryPredicate) | Military.kif 779-779 |
| 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 15765-15765 | |
| (termFormat ChineseTraditionalLanguage commandRankOfEchelon "梯隊指揮等級") | domainEnglishFormat.kif 15764-15764 | |
| (termFormat EnglishLanguage commandRankOfEchelon "command rank of echelon") | domainEnglishFormat.kif 15763-15763 |
| appearance as argument number 0 |
|
|
| (commandRankOfEchelon Battalion USMilitaryRankO5) | Military.kif 811-811 | |
| (commandRankOfEchelon CompanyMilitary (UnionFn USMilitaryRankO3 USMilitaryRankO4)) |
Military.kif 819-820 | |
| (commandRankOfEchelon Platoon USMilitaryRankO2) | Military.kif 832-832 |
|
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