![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
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 |
![]() |
![]() |