Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Ambush(ambush)
|  | ambuscade, ambush, lying_in_wait, trap |
| appearance as argument number 1 |
|
|
| (subclass Ambush Maneuver) | Mid-level-ontology.kif 24044-24044 | Ambush is a subclass of maneuver |
| (documentation Ambush EnglishLanguage "Any Maneuver in a ViolentContest where one contestParticipant attempts to conceal himself from another contestParticipant so that he can Attack the other contestParticipant.") | Mid-level-ontology.kif 24045-24048 | Ambush is a subclass of maneuver |
| (externalImage Ambush "http://upload.wikimedia.org/wikipedia/en/9/93/Ambush_vc274vs11med.jpg") | pictureList.kif 5846-5846 | Ambush is a subclass of maneuver |
| (externalImage Ambush "http://upload.wikimedia.org/wikipedia/en/c/c0/Vcnvaattack2-med.jpg") | pictureList.kif 6072-6072 | Ambush is a subclass of maneuver |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?AMBUSH Ambush) (agent ?AMBUSH ?AG)) (exists (?C) (and (instance ?C Concealing) (subProcess ?C ?AMBUSH) (hasPurpose ?C (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AG))))))) |
Mid-level-ontology.kif 24050-24062 | If X is an instance of ambush and Y is an agent of X, then there exists Z such that Z is an instance of concealing, Z is a subprocess of X, Z has the purpose there exists W such that W is an instance of attack, and Y is an agent of W |
|