| TerroristOrganization | |
| appearance as argument number 1 |
|
|
| (documentation TerroristOrganization EnglishLanguage "A group that uses violent means in an attempt to bring about their political aims. Those violent means are distinguished from a war between nations, or a civil war in that the group is at least partially clandestine and a significant proportion of its acts are against non-military targets.") | Mid-level-ontology.kif 22908-22914 | |
| (subclass TerroristOrganization PoliticalOrganization) | Mid-level-ontology.kif 22899-22899 |
| appearance as argument number 2 |
|
|
| (subclass ForeignTerroristOrganization TerroristOrganization) | Government.kif 2343-2343 | |
| (termFormat ChineseLanguage TerroristOrganization "恐怖组织") | domainEnglishFormat.kif 57663-57663 | |
| (termFormat ChineseTraditionalLanguage TerroristOrganization "恐怖組織") | domainEnglishFormat.kif 57662-57662 | |
| (termFormat EnglishLanguage TerroristOrganization "terrorist organization") | domainEnglishFormat.kif 57661-57661 |
| antecedent |
|
|
| (=> (and (instance ?TO TerroristOrganization) (member ?PERSON ?TO)) (attribute ?PERSON Terrorist)) |
MilitaryProcesses.kif 2151-2155 | |
| (=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV Terrorism) (agent ?EV ?X)))) |
MilitaryProcesses.kif 2100-2105 | |
| (=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV ViolentContest) (agent ?EV ?X)))) |
Mid-level-ontology.kif 22901-22906 |
| consequent |
|
|
| (=> (attribute ?PERSON Terrorist) (exists (?TO) (and (instance ?TO TerroristOrganization) (member ?PERSON ?TO)))) |
MilitaryProcesses.kif 2142-2147 | |
| (=> (instance ?EV Terrorism) (exists (?X) (and (agent ?EV ?X) (instance ?X TerroristOrganization)))) |
MilitaryProcesses.kif 2107-2112 |
|
|
|