Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GuerrillaWarfare(guerrilla warfare)
more pictures... |
| appearance as argument number 1 |
|
| (subclass GuerrillaWarfare UnconventionalWarfare) | MilitaryProcesses.kif 185-185 | Guerrilla warfare is a subclass of unconventional warfare |
| (documentation GuerrillaWarfare EnglishLanguage "These are military and paramilitary operations conducted by irregular, predominantly indigenous forces in adversary-held or hostile territory. It is the military aspect of an insurgency or other armed resistance movement. Guerilla warfare techniques can undermine the legitimacy of the existing government or an occupying power as well as destroy, degrade, or divert military capabilities.") | MilitaryProcesses.kif 186-192 | Guerrilla warfare is a subclass of unconventional warfare |
| (externalImage GuerrillaWarfare "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Assault_on_San_Engracia_monastery_by_Baron_Lejeune.JPG") | pictureList.kif 6600-6600 | Guerrilla warfare is a subclass of unconventional warfare |
| (externalImage GuerrillaWarfare "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ M1A1_abrams_front.jpg") | pictureList.kif 7028-7028 | Guerrilla warfare is a subclass of unconventional warfare |
| (externalImage GuerrillaWarfare "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Gustavus_Adolphus_at_the_Battle_at_Breitenfeld.jpg") | pictureList.kif 7029-7029 | Guerrilla warfare is a subclass of unconventional warfare |
| (externalImage GuerrillaWarfare "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Ramses_II_at_Kadesh.jpg") | pictureList.kif 7030-7030 | Guerrilla warfare is a subclass of unconventional warfare |
| (externalImage GuerrillaWarfare "http://upload.wikimedia.org/wikipedia/en/ 9/ 93/ Ambush_vc274vs11med.jpg") | pictureList.kif 7032-7032 | Guerrilla warfare is a subclass of unconventional warfare |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?GW GuerrillaWarfare) (patient ?GW ?PATIENT)) (instance ?PATIENT ParamilitaryOrganization)) |
MilitaryProcesses.kif 204-208 | If X is an instance of guerrilla warfare and Y is a patient of X, then Y is an instance of paramilitary organization |
|