USMilitaryRank |
appearance as argument number 1 |
(documentation USMilitaryRank EnglishLanguage "The class of Positions in the USMilitary.") | Military.kif 256-256 | |
(subclass USMilitaryRank MilitaryRank) | Military.kif 255-255 | USMilitaryRank è una sottoclasse di MilitaryRank |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?ATTR USMilitaryRank) (attribute ?PERSON ?ATTR)) (exists (?MO) (and (member ?PERSON ?MO) (militaryOfArea ?MO UnitedStates)))) |
Military.kif 257-264 |