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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ForeignTerroristOrganization

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 ForeignTerroristOrganization è una sottoclasse di 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 2357-2363


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

Show without tree


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