Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ForeignTerroristOrganization
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 ForeignTerroristOrganizationTerroristOrganizationsubclass では %n

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners