| appearance as argument number 1 |
|
| (documentation commandRankOfEchelon EnglishLanguage "The typical MilitaryRank of the leader of an instance of the given MilitaryEchelon.") | Military.kif 770-771 | |
| (domain commandRankOfEchelon 2 MilitaryRank) | Military.kif 773-773 | The number 2 argument of command rank of echelon is an instance of military rank |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 772-772 | The number 1 argument of command rank of echelon is a subclass of military unit |
| (instance commandRankOfEchelon BinaryPredicate) | Military.kif 769-769 | command rank of echelon is an instance of binary predicate |
| 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 15771-15771 | |
| (termFormat ChineseTraditionalLanguage commandRankOfEchelon "梯隊指揮等級") | domainEnglishFormat.kif 15770-15770 | |
| (termFormat EnglishLanguage commandRankOfEchelon "command rank of echelon") | domainEnglishFormat.kif 15769-15769 |
| appearance as argument number 0 |
|
|
| (commandRankOfEchelon Battalion USMilitaryRankO5) | Military.kif 801-801 | US military rank o5 is a command rank of echelon of battalion |
| (commandRankOfEchelon CompanyMilitary (UnionFn USMilitaryRankO3 USMilitaryRankO4)) |
Military.kif 809-810 | The union of US military rank o3 and US military rank o4 is a command rank of echelon of company- military |
| (commandRankOfEchelon Platoon USMilitaryRankO2) | Military.kif 822-822 | US military rank o2 is a command rank of echelon of platoon |
|
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