Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| commandRankOfEchelon |
| appearance as argument number 1 |
|
| (instance commandRankOfEchelon BinaryPredicate) | Military.kif 977-977 | command rank of echelon is an instance of binary predicate |
| (documentation commandRankOfEchelon EnglishLanguage "The typical MilitaryRank of the leader of an instance of the given MilitaryEchelon.") | Military.kif 978-979 | command rank of echelon is an instance of binary predicate |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 980-980 | The number 1 argument of command rank of echelon is a subclass of military unit |
| (domain commandRankOfEchelon 2 MilitaryRank) | Military.kif 981-981 | The number 2 argument of command rank of echelon is an instance of military rank |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage commandRankOfEchelon "%2 is %n a command rank of echelon of %1") | domainEnglishFormat.kif 482-482 | |
| (format ChineseTraditionalLanguage commandRankOfEchelon "%2 %n 是 %1 的 command 梯隊等級") | domainEnglishFormat.kif 483-483 | |
| (format ChineseLanguage commandRankOfEchelon "%2 %n 是 %1 的 command 梯队等级") | domainEnglishFormat.kif 484-484 | |
| (termFormat EnglishLanguage commandRankOfEchelon "command rank of echelon") | domainEnglishFormat.kif 15756-15756 | |
| (termFormat ChineseTraditionalLanguage commandRankOfEchelon "梯隊指揮等級") | domainEnglishFormat.kif 15757-15757 | |
| (termFormat ChineseLanguage commandRankOfEchelon "梯队指挥等级") | domainEnglishFormat.kif 15758-15758 |
| appearance as argument number 0 |
|
|
| (commandRankOfEchelon Battalion USMilitaryRankO5) | Military.kif 1009-1009 | US military rank o5 is a command rank of echelon of battalion |
| (commandRankOfEchelon CompanyMilitary (UnionFn USMilitaryRankO3 USMilitaryRankO4)) |
Military.kif 1017-1018 | 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 1030-1030 | US military rank o2 is a command rank of echelon of platoon |
|