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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22677-22683
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22668-22668	Terrorist organization is a subclass of political organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2343-2343	Foreign terrorist organization is a subclass of terrorist organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57628-57628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57627-57627
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57626-57626

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22670-22675	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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