Terrorism(terrorism) | terror |
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 2093-2096 | |
(subclass Terrorism ViolentContest) | MilitaryProcesses.kif 2092-2092 | Terrorism is a subclass of violent contest |
appearance as argument number 2 |
(termFormat ChineseLanguage Terrorism "恐怖主义") | domainEnglishFormat.kif 57610-57610 | |
(termFormat ChineseTraditionalLanguage Terrorism "恐怖主義") | domainEnglishFormat.kif 57609-57609 | |
(termFormat EnglishLanguage Terrorism "terrorism") | domainEnglishFormat.kif 57608-57608 |
antecedent |
(=> (instance ?EV Terrorism) (exists (?X) (and (agent ?EV ?X) (instance ?X TerroristOrganization)))) |
MilitaryProcesses.kif 2107-2112 |
|
(=> (instance ?T Terrorism) (exists (?TA) (and (instance ?TA TerroristAttack) (subProcess ?TA ?T)))) |
MilitaryProcesses.kif 2128-2133 |
|
consequent |