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 | 恐怖分子 是 身分 的 instance |
appearance as argument number 2 |
(termFormat ChineseLanguage Terrorist "恐怖分子") | domainEnglishFormat.kif 57614-57614 | |
(termFormat ChineseTraditionalLanguage Terrorist "恐怖分子") | domainEnglishFormat.kif 57613-57613 | |
(termFormat EnglishLanguage Terrorist "terrorist") | domainEnglishFormat.kif 57612-57612 |
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 |