Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SEAL
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 子屬性 SEAL and 軍人

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