|
|
   Terrorism
|
|
|
| appearance as argument number 1 |
|
|
| (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 2094-2097 | |
| (subclass Terrorism ViolentContest) | MilitaryProcesses.kif 2093-2093 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Terrorism "恐怖主义") | domainEnglishFormat.kif 57575-57575 | |
| (termFormat ChineseTraditionalLanguage Terrorism "恐怖主義") | domainEnglishFormat.kif 57574-57574 | |
| (termFormat EnglishLanguage Terrorism "terrorism") | domainEnglishFormat.kif 57573-57573 |
| antecedent |
|
|
| (=> (instance ?EV Terrorism) (exists (?X) (and (agent ?EV ?X) (instance ?X TerroristOrganization)))) |
MilitaryProcesses.kif 2108-2113 | |
| (=> (instance ?T Terrorism) (exists (?TA) (and (instance ?TA TerroristAttack) (subProcess ?TA ?T)))) |
MilitaryProcesses.kif 2129-2134 |
| consequent |
|
|
| (=> (and (instance ?CO CounterTerrorism) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (instance ?OP Terrorism) (hasPurpose ?CO (prevents ?CO ?OP))))) |
MilitaryProcesses.kif 2032-2042 | |
| (=> (instance ?TA TerroristAttack) (exists (?T) (and (instance ?T Terrorism) (subProcess ?TA ?T)))) |
MilitaryProcesses.kif 2120-2125 | |
| (=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV Terrorism) (agent ?EV ?X)))) |
MilitaryProcesses.kif 2101-2106 |
|
|
|