|
|
  SEAL
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SEAL EnglishLanguage "The United States Navy Sea, Air, and Land (SEAL) Teams, commonly known as Navy SEALs, are the U.S. Navy's primary special operations force and a component of the Naval Special Warfare Command. Among the SEALs' main functions are conducting small-unit SpecialOperation missions in maritime, Jungle, Urban, arctic, mountainous, and Desert environments. SEALs are typically ordered to capture or kill high level targets, or to gather intelligence behind enemy lines. SEAL team personnel are hand selected, highly trained, and possess a high degree of proficiency in DirectAction (DA), and SpecialReconnaissance (SR), among other tasks like Sabotage, demolition, intelligence gathering, and hydro-graphic reconnaissance, training, and advising friendly militaries or other forces. All active SEALs are members of the U.S. NavyBranchOfService.[from Wikipedia]") | MilitaryPersons.kif 780-788 | |
| (subAttribute SEAL MilitaryPerson) | MilitaryPersons.kif 779-779 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SEAL "SEAL") | MilitaryPersons.kif 789-789 | |
| (termFormat EnglishLanguage SEAL "United States Navy Sea, Air, and Land Team member") | MilitaryPersons.kif 790-790 |
| antecedent |
|
|
| (=> (attribute ?P SEAL) (hasPurpose ?P (exists (?S) (and (instance ?S SpecialOperation) (agent ?S ?P))))) |
MilitaryPersons.kif 796-802 | |
| (=> (attribute ?P SEAL) (member ?P NavyBranchOfService)) |
MilitaryPersons.kif 792-794 |
|
|
|