| 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 22677-22683 | |
| (subclass TerroristOrganization PoliticalOrganization) | Mid-level-ontology.kif 22668-22668 | TerroristOrganization は 政治組織 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass ForeignTerroristOrganization TerroristOrganization) | Government.kif 2343-2343 | ForeignTerroristOrganization は TerroristOrganization の subclass では %n |
| (termFormat ChineseLanguage TerroristOrganization "恐怖组织") | domainEnglishFormat.kif 57628-57628 | |
| (termFormat ChineseTraditionalLanguage TerroristOrganization "恐怖組織") | domainEnglishFormat.kif 57627-57627 | |
| (termFormat EnglishLanguage TerroristOrganization "terrorist organization") | domainEnglishFormat.kif 57626-57626 |
| 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 22670-22675 |
|
| 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 |
|
|
|
|