| 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 2380-2383 | |
| (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 2379-2379 | ForeignTerroristOrganization est une sous-classe de TerroristOrganization |
| 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 2393-2399 |
|
|
|