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 57547-57547 termFormat ChineseLanguage, Terrorism and "恐怖主义"
(termFormat ChineseTraditionalLanguage Terrorism "恐怖主義") domainEnglishFormat.kif 57546-57546 termFormat ChineseTraditionalLanguage, Terrorism and "恐怖主義"
(termFormat EnglishLanguage Terrorism "terrorism") domainEnglishFormat.kif 57545-57545 termFormat EnglishLanguage, Terrorism and "terrorism"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners