| 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 | United States Navy Sea, Air, and Land Team member is a subattribute of military person |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners