TerroristOrganization - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TerroristOrganization

TerroristOrganization(terrorist organization)

15_May_Organization, 17_November, 3rd_October_Organization, ABB, AIAI, ALIR, ANO, ASALA, AUC, Abu_Hafs_al-Masri_Brigades, Abu_Nidal_Organization, Abu_Sayyaf, Aden-Abyan_Islamic_Army, Aksa_Martyrs_Brigades, Al-Jama'a_al-Islamiyyah_al-Muqatilah_bi-Libya, Al_Faran, Al_Nathir, Al_Qanoon, Al_Tawhid, Alex_Boncayao_Brigade, Ansar_al-Islam, Ansar_al_Islam, Anti-Imperialist_International_Brigade, Arab_Revolutionary_Brigades, Armata_Corsa, Armed_Islamic_Group, Armenian_Secret_Army_for_the_Liberation_of_Armenia, Army_for_the_Liberation_of_Rwanda, Army_of_Muhammad, Army_of_the_Pure, Army_of_the_Righteous, Asbat_al-Ansar, Association_of_Islamic_Groups_and_Communities, Aum, Aum_Shinrikyo, Autodefensas_Unidas_de_Colombia, BR, Baader-Meinhof_Gang, Baader_Meinhof_Gang, Band_of_Partisans, Base, Basque_Fatherland_and_Liberty, Basque_Homeland_and_Freedom, Bearer_of_the_Sword, Black_September, Black_September_Movement, Brigate_Rosse, CIRA, CNPZ, Caliphate_State...

appearance as argument number 1

(documentation TerroristOrganization EnglishLanguage "A group that uses violent means in an attempt to bring about their political aims. Those violent means are distinguished from a war between nations, or a civil war in that the group is at least partially clandestine and a significant proportion of its acts are against non-military targets.")	Mid-level-ontology.kif 22908-22914
(subclass TerroristOrganization PoliticalOrganization)	Mid-level-ontology.kif 22899-22899	Terrorist organization is a subclass of political organization

appearance as argument number 2

(subclass ForeignTerroristOrganization TerroristOrganization)	Government.kif 2343-2343	Foreign terrorist organization is a subclass of terrorist organization
(termFormat ChineseLanguage TerroristOrganization "恐怖组织")	domainEnglishFormat.kif 57668-57668	Foreign terrorist organization is a subclass of terrorist organization
(termFormat ChineseTraditionalLanguage TerroristOrganization "恐怖組織")	domainEnglishFormat.kif 57667-57667	Foreign terrorist organization is a subclass of terrorist organization
(termFormat EnglishLanguage TerroristOrganization "terrorist organization")	domainEnglishFormat.kif 57666-57666	Foreign terrorist organization is a subclass of terrorist organization

antecedent

(=> (and (instance ?TO TerroristOrganization) (member ?PERSON ?TO)) (attribute ?PERSON Terrorist))	MilitaryProcesses.kif 2151-2155	If a collection is an instance of terrorist organization and an object is a member of the collection, then terrorist is an attribute of the object
(=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV Terrorism) (agent ?EV ?X))))	MilitaryProcesses.kif 2100-2105	If an agent is an instance of terrorist organization, then there exists a process such that the process is an instance of terrorism and the agent is an agent of the process
(=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV ViolentContest) (agent ?EV ?X))))	Mid-level-ontology.kif 22901-22906	If an agent is an instance of terrorist organization, then there exists a process such that the process is an instance of violent contest and the agent is an agent of the process

consequent

(=> (attribute ?PERSON Terrorist) (exists (?TO) (and (instance ?TO TerroristOrganization) (member ?PERSON ?TO))))	MilitaryProcesses.kif 2142-2147	If terrorist is an attribute of an object, then there exists a collection such that the collection is an instance of terrorist organization and the object is a member of the collection
(=> (instance ?EV Terrorism) (exists (?X) (and (agent ?EV ?X) (instance ?X TerroristOrganization))))	MilitaryProcesses.kif 2107-2112	If a process is an instance of terrorism, then there exists an agent such that the agent is an agent of the process and the agent is an instance of terrorist organization

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