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 22625-22631
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22616-22616	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 2379-2379	Foreign terrorist organization is a subclass of terrorist organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57626-57626
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57625-57625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57624-57624

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 22618-22623	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