| ForeignTerroristOrganization(foreign terrorist organization)
|
| appearance as argument number 1 |
|
| (documentation ForeignTerroristOrganization EnglishLanguage "A Foreign Terrorist Organization is an Organization designated by the USStateDeparment as one which conducts acts of terrorism. This designation makes it subject to the AntiterrorismAndEffectiveDeathPenaltyAct.") | Government.kif 2344-2347 | |
| (externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ 0/ 06/ The_Widow_Scallans.jpg") | pictureList.kif 6555-6555 | |
| (externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ 3/ 3d/ Brigate_Rosse.jpg") | pictureList.kif 6028-6028 | |
| (externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ c/ c1/ Derunta_training_camp_after.jpg") | pictureList.kif 6554-6554 | |
| (subclass ForeignTerroristOrganization TerroristOrganization) | Government.kif 2343-2343 | Foreign terrorist organization is a subclass of terrorist organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ForeignTerroristOrganization "外国恐怖组织") | domainEnglishFormat.kif 24690-24690 | |
| (termFormat ChineseTraditionalLanguage ForeignTerroristOrganization "外國恐怖組織") | domainEnglishFormat.kif 24689-24689 | |
| (termFormat EnglishLanguage ForeignTerroristOrganization "foreign terrorist organization") | domainEnglishFormat.kif 24688-24688 |
| antecedent |
|
|
| (=> (instance ?X ForeignTerroristOrganization) (exists (?EV) (and (instance ?EV Declaring) (agent ?EV USStateDepartment) (patient ?EV ?X)))) |
Government.kif 2357-2363 |
|
|
|
|