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 2366-2369
(externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ 0/ 06/ The_Widow_Scallans.jpg") pictureList.kif 6556-6556
(externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ 3/ 3d/ Brigate_Rosse.jpg") pictureList.kif 6029-6029
(externalImage ForeignTerroristOrganization "http://upload.wikimedia.org/ wikipedia/ commons/ c/ c1/ Derunta_training_camp_after.jpg") pictureList.kif 6555-6555
(subclass ForeignTerroristOrganization TerroristOrganization) Government.kif 2365-2365

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ForeignTerroristOrganization "外国恐怖组织") domainEnglishFormat.kif 24663-24663
(termFormat ChineseTraditionalLanguage ForeignTerroristOrganization "外國恐怖組織") domainEnglishFormat.kif 24662-24662
(termFormat EnglishLanguage ForeignTerroristOrganization "foreign terrorist organization") domainEnglishFormat.kif 24661-24661

antecedent
-------------------------


(=>
    (instance ?X ForeignTerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Declaring)
            (agent ?EV USStateDepartment)
            (patient ?EV ?X))))
Government.kif 2379-2385


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