| 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 | The number 2 argument of command rank of echelon is an instance of military rank |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 705-705 | The number 1 argument of command rank of echelon is a subclass of military unit |
| (instance commandRankOfEchelon BinaryPredicate) | Military.kif 702-702 | 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 15772-15772 | |
| (termFormat ChineseTraditionalLanguage commandRankOfEchelon "梯隊指揮等級") | domainEnglishFormat.kif 15771-15771 | |
| (termFormat EnglishLanguage commandRankOfEchelon "command rank of echelon") | domainEnglishFormat.kif 15770-15770 |
| appearance as argument number 0 |
|
|
| (commandRankOfEchelon Battalion USMilitaryRankO5) | Military.kif 734-734 | US military rank o5 is a command rank of echelon of battalion |
| (commandRankOfEchelon CompanyMilitary (UnionFn USMilitaryRankO3 USMilitaryRankO4)) |
Military.kif 742-743 | 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 755-755 | 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