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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Terrorism

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 2094-2097
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2093-2093

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


(termFormat ChineseLanguage Terrorism "恐怖主义") domainEnglishFormat.kif 57575-57575
(termFormat ChineseTraditionalLanguage Terrorism "恐怖主義") domainEnglishFormat.kif 57574-57574
(termFormat EnglishLanguage Terrorism "terrorism") domainEnglishFormat.kif 57573-57573

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


(=>
    (instance ?EV Terrorism)
    (exists (?X)
        (and
            (agent ?EV ?X)
            (instance ?X TerroristOrganization))))
MilitaryProcesses.kif 2108-2113
(=>
    (instance ?T Terrorism)
    (exists (?TA)
        (and
            (instance ?TA TerroristAttack)
            (subProcess ?TA ?T))))
MilitaryProcesses.kif 2129-2134

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 2032-2042
(=>
    (instance ?TA TerroristAttack)
    (exists (?T)
        (and
            (instance ?T Terrorism)
            (subProcess ?TA ?T))))
MilitaryProcesses.kif 2120-2125
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Terrorism)
            (agent ?EV ?X))))
MilitaryProcesses.kif 2101-2106


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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