| 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 57651-57651 | |
| (termFormat ChineseTraditionalLanguage Terrorist "恐怖分子") | domainEnglishFormat.kif 57650-57650 | |
| (termFormat EnglishLanguage Terrorist "terrorist") | domainEnglishFormat.kif 57649-57649 |
| 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 |
|
|
|
|