ForeignTerroristOrganization
|
|
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage ForeignTerroristOrganization "外国恐怖组织") | domainEnglishFormat.kif 24668-24668 | |
(termFormat ChineseTraditionalLanguage ForeignTerroristOrganization "外國恐怖組織") | domainEnglishFormat.kif 24667-24667 | |
(termFormat EnglishLanguage ForeignTerroristOrganization "foreign terrorist organization") | domainEnglishFormat.kif 24666-24666 |
antecedent |
(=> (instance ?X ForeignTerroristOrganization) (exists (?EV) (and (instance ?EV Declaring) (agent ?EV USStateDepartment) (patient ?EV ?X)))) |
Government.kif 2357-2363 |