| 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 2342-2345 | |
| (externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ 0/ 06/ The_Widow_Scallans.jpg") | pictureList.kif 6554-6554 | |
| (externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ 3/ 3d/ Brigate_Rosse.jpg") | pictureList.kif 6027-6027 | |
| (externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ c/ c1/ Derunta_training_camp_after.jpg") | pictureList.kif 6553-6553 | |
| (subclass ForeignTerroristOrganization TerroristOrganization) | Government.kif 2341-2341 | Foreign terrorist organization is a subclass of terrorist organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ForeignTerroristOrganization "外国恐怖组织") | domainEnglishFormat.kif 24684-24684 | |
| (termFormat ChineseTraditionalLanguage ForeignTerroristOrganization "外國恐怖組織") | domainEnglishFormat.kif 24683-24683 | |
| (termFormat EnglishLanguage ForeignTerroristOrganization "foreign terrorist organization") | domainEnglishFormat.kif 24682-24682 |
| antecedent |
|
|
| (=> (instance ?X ForeignTerroristOrganization) (exists (?EV) (and (instance ?EV Declaring) (agent ?EV USStateDepartment) (patient ?EV ?X)))) |
Government.kif 2355-2361 |
|
|
|
|