| 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 | |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 705-705 | |
| (instance commandRankOfEchelon BinaryPredicate) | Military.kif 702-702 |
| 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 CompanyMilitary (UnionFn USMilitaryRankO3 USMilitaryRankO4)) |
Military.kif 742-743 | |
| (commandRankOfEchelon Platoon USMilitaryRankO2) | Military.kif 755-755 |
|
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