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 57650-57650 | |
(termFormat ChineseTraditionalLanguage Terrorism "恐怖主義") | domainEnglishFormat.kif 57649-57649 | |
(termFormat EnglishLanguage Terrorism "terrorism") | domainEnglishFormat.kif 57648-57648 |
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 |