MilitaryRank |
appearance as argument number 1 |
(documentation MilitaryRank EnglishLanguage "The class of Positions in a Military. Rank is usually commensurate with degrees of power, prestige and pay.") | Military.kif 246-248 | |
(subclass MilitaryRank SkilledOccupation) | Military.kif 245-245 | MilitaryRank è una sottoclasse di SkilledOccupation |
appearance as argument number 2 |
(subclass CommissionedOfficerRank MilitaryRank) | Military.kif 271-271 | CommissionedOfficerRank è una sottoclasse di MilitaryRank |
(subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | EnlistedSoldierRank è una sottoclasse di MilitaryRank |
(subclass USMilitaryRank MilitaryRank) | Military.kif 255-255 | USMilitaryRank è una sottoclasse di MilitaryRank |
(termFormat ChineseLanguage MilitaryRank "军衔") | domainEnglishFormat.kif 37703-37703 | |
(termFormat ChineseTraditionalLanguage MilitaryRank "軍銜") | domainEnglishFormat.kif 37702-37702 | |
(termFormat EnglishLanguage MilitaryRank "military rank") | domainEnglishFormat.kif 37701-37701 |
appearance as argument number 3 |
(domain commandRankOfEchelon 2 MilitaryRank) | Military.kif 706-706 | Il numero 2 argomenti di commandRankOfEchelon è un istanza di MilitaryRank |
antecedent |
(=> (and (attribute ?P ?R) (instance ?R MilitaryRank)) (member ?P MilitaryService)) |
Military.kif 249-253 |
|