Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  SEAL
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute SEAL MilitaryPerson) | MilitaryPersons.kif 794-794 | United States Navy Sea, Air, and Land Team member is a subattribute of military person |
| (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 795-803 | 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 804-804 | |
| (termFormat EnglishLanguage SEAL "United States Navy Sea, Air, and Land Team member") | MilitaryPersons.kif 805-805 |
| antecedent |
|
|
| (=> (attribute ?P SEAL) (member ?P NavyBranchOfService)) |
MilitaryPersons.kif 807-809 | If United States Navy Sea, Air, and Land Team member is an attribute of X, then X is a member of navy branch of service |
| (=> (attribute ?P SEAL) (hasPurpose ?P (exists (?S) (and (instance ?S SpecialOperation) (agent ?S ?P))))) |
MilitaryPersons.kif 811-817 | If United States Navy Sea, Air, and Land Team member is an attribute of X, then X has the purpose there exists Y such that Y is an instance of special operation and X is an agent of Y |
|