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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Terrorism
Terrorism

appearance as argument number 1
-------------------------


(documentation Terrorism EnglishLanguage "WN: the calculated use of violence (or threat of violence) against civilians in order to attain goals that are political or religious or ideological in nature, this is done through intimidation or coercion or instilling fear.") MilitaryProcesses.kif 2075-2078
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2074-2074 subclass Terrorism and ViolentContest

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


(termFormat ChineseLanguage Terrorism "恐怖主义") domainEnglishFormat.kif 57510-57510
(termFormat ChineseTraditionalLanguage Terrorism "恐怖主義") domainEnglishFormat.kif 57509-57509
(termFormat EnglishLanguage Terrorism "terrorism") domainEnglishFormat.kif 57508-57508

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


(=>
    (instance ?EV Terrorism)
    (exists (?X)
        (and
            (agent ?EV ?X)
            (instance ?X TerroristOrganization))))
MilitaryProcesses.kif 2089-2094
(=>
    (instance ?T Terrorism)
    (exists (?TA)
        (and
            (instance ?TA TerroristAttack)
            (subProcess ?TA ?T))))
MilitaryProcesses.kif 2110-2115

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


(=>
    (and
        (instance ?CO CounterTerrorism)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP Terrorism)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 2013-2023
(=>
    (instance ?TA TerroristAttack)
    (exists (?T)
        (and
            (instance ?T Terrorism)
            (subProcess ?TA ?T))))
MilitaryProcesses.kif 2101-2106
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Terrorism)
            (agent ?EV ?X))))
MilitaryProcesses.kif 2082-2087


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