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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Terrorism
Terrorism(terrorism)terror

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 2093-2096
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2092-2092 Terrorism is a subclass of violent contest

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


(termFormat ChineseLanguage Terrorism "恐怖主义") domainEnglishFormat.kif 57650-57650
(termFormat ChineseTraditionalLanguage Terrorism "恐怖主義") domainEnglishFormat.kif 57649-57649
(termFormat EnglishLanguage Terrorism "terrorism") domainEnglishFormat.kif 57648-57648

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


(=>
    (instance ?EV Terrorism)
    (exists (?X)
        (and
            (agent ?EV ?X)
            (instance ?X TerroristOrganization))))
MilitaryProcesses.kif 2107-2112
(=>
    (instance ?T Terrorism)
    (exists (?TA)
        (and
            (instance ?TA TerroristAttack)
            (subProcess ?TA ?T))))
MilitaryProcesses.kif 2128-2133

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


(=>
    (instance ?CO CounterTerrorism)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS Terrorism)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))
MilitaryProcesses.kif 2032-2042
(=>
    (instance ?TA TerroristAttack)
    (exists (?T)
        (and
            (instance ?T Terrorism)
            (subProcess ?TA ?T))))
MilitaryProcesses.kif 2119-2124
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Terrorism)
            (agent ?EV ?X))))
MilitaryProcesses.kif 2100-2105


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