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