Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass TerroristOrganization PoliticalOrganization) Mid-level-ontology.kif 24895-24895 Terrorist organization is a subclass of political organization
(documentation TerroristOrganization EnglishLanguage "A group that uses a ViolentContest in an attempt to bring about their political aims. Those violent means are distinguished from a War between Nations, or a CivilWar 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 24896-24902 Terrorist organization is a subclass of political organization

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


(subclass ForeignTerroristOrganization TerroristOrganization) Government.kif 2349-2349 Foreign terrorist organization is a subclass of terrorist organization
(termFormat EnglishLanguage TerroristOrganization "terrorist organization") domainEnglishFormat.kif 57623-57623 Foreign terrorist organization is a subclass of terrorist organization
(termFormat ChineseTraditionalLanguage TerroristOrganization "恐怖組織") domainEnglishFormat.kif 57624-57624 Foreign terrorist organization is a subclass of terrorist organization
(termFormat ChineseLanguage TerroristOrganization "恐怖组织") domainEnglishFormat.kif 57625-57625 Foreign terrorist organization is a subclass of terrorist organization

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


(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV ViolentContest)
            (agent ?EV ?X))))		 Mid-level-ontology.kif 24904-24909 If X is an instance of terrorist organization, then there exists Y such that Y is an instance of violent contest and X is an agent of Y
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Terrorism)
            (agent ?EV ?X))))		 MilitaryProcesses.kif 2123-2128 If X is an instance of terrorist organization, then there exists Y such that Y is an instance of terrorism and X is an agent of Y
(=>
    (and
        (instance ?TO TerroristOrganization)
        (member ?PERSON ?TO))
    (attribute ?PERSON Terrorist))		 MilitaryProcesses.kif 2174-2178 If X is an instance of terrorist organization and Y is a member of X, then terrorist is an attribute of Y

consequent
-------------------------


(=>
    (instance ?EV Terrorism)
    (exists (?X)
        (and
            (agent ?EV ?X)
            (instance ?X TerroristOrganization))))		 MilitaryProcesses.kif 2130-2135 If X is an instance of terrorism, then there exists Y such that Y is an agent of X and Y is an instance of terrorist organization
(=>
    (attribute ?PERSON Terrorist)
    (exists (?TO)
        (and
            (instance ?TO TerroristOrganization)
            (member ?PERSON ?TO))))		 MilitaryProcesses.kif 2165-2170 If terrorist is an attribute of X, then there exists Y such that Y is an instance of terrorist organization and X is a member of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners