Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Terrorism
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Terrorism ViolentContest) | MilitaryProcesses.kif 2115-2115 | Terrorism is a subclass of violent contest |
| (documentation Terrorism EnglishLanguage "WN: the calculated use of violence (or threat of violence) against civilians in order to attain goals that are political or religious or ideological in nature, this is done through intimidation or coercion or instilling fear.") | MilitaryProcesses.kif 2116-2119 | Terrorism is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?EV Terrorism) (exists (?X) (and (agent ?EV ?X) (instance ?X TerroristOrganization)))) |
MilitaryProcesses.kif 2130-2135 | If X is an instance of terrorism, then there exists Y such that Y is an agent of X and Y is an instance of terrorist organization |
| (=> (instance ?T Terrorism) (exists (?TA) (and (instance ?TA TerroristAttack) (subProcess ?TA ?T)))) |
MilitaryProcesses.kif 2151-2156 | If X is an instance of terrorism, then there exists Y such that Y is an instance of terrorist attack and Y is a subprocess of X |
| consequent |
|
|
| (=> (instance ?CO CounterTerrorism) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS Terrorism) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2055-2065 | If X is an instance of counter terrorism, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of terrorism (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V |
| (=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV Terrorism) (agent ?EV ?X)))) |
MilitaryProcesses.kif 2123-2128 | If X is an instance of terrorist organization, then there exists Y such that Y is an instance of terrorism and X is an agent of Y |
| (=> (instance ?TA TerroristAttack) (exists (?T) (and (instance ?T Terrorism) (subProcess ?TA ?T)))) |
MilitaryProcesses.kif 2142-2147 | If X is an instance of terrorist attack, then there exists Y such that Y is an instance of terrorism and X is a subprocess of Y |
|