Terrorist(terrorist) | terrorist |
appearance as argument number 1 |
(documentation Terrorist EnglishLanguage "WN: a radical who employs terror as a political weapon, usually organizes with other terrorists in small cells, often uses religion as a cover for terrorist activities.") | MilitaryProcesses.kif 2136-2138 | |
(instance Terrorist SocialRole) | MilitaryProcesses.kif 2135-2135 | Terrorist is an instance of social role |
appearance as argument number 2 |
(termFormat ChineseLanguage Terrorist "恐怖分子") | domainEnglishFormat.kif 57616-57616 | |
(termFormat ChineseTraditionalLanguage Terrorist "恐怖分子") | domainEnglishFormat.kif 57615-57615 | |
(termFormat EnglishLanguage Terrorist "terrorist") | domainEnglishFormat.kif 57614-57614 |
antecedent |
(=> (attribute ?PERSON Terrorist) (exists (?TO) (and (instance ?TO TerroristOrganization) (member ?PERSON ?TO)))) |
MilitaryProcesses.kif 2142-2147 |
|
consequent |
(=> (and (instance ?TO TerroristOrganization) (member ?PERSON ?TO)) (attribute ?PERSON Terrorist)) |
MilitaryProcesses.kif 2151-2155 |
|