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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TerroristOrganization
TerroristOrganization

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


(documentation TerroristOrganization EnglishLanguage "A group that uses violent means in an attempt to bring about their political aims. Those violent means are distinguished from a war between nations, or a civil war 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 22625-22631
(subclass TerroristOrganization PoliticalOrganization) Mid-level-ontology.kif 22616-22616 TerroristOrganization est une sous-classe de organisation politique

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


(subclass ForeignTerroristOrganization TerroristOrganization) Government.kif 2379-2379 ForeignTerroristOrganization est une sous-classe de TerroristOrganization
(termFormat ChineseLanguage TerroristOrganization "恐怖组织") domainEnglishFormat.kif 57626-57626
(termFormat ChineseTraditionalLanguage TerroristOrganization "恐怖組織") domainEnglishFormat.kif 57625-57625
(termFormat EnglishLanguage TerroristOrganization "terrorist organization") domainEnglishFormat.kif 57624-57624

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


(=>
    (and
        (instance ?TO TerroristOrganization)
        (member ?PERSON ?TO))
    (attribute ?PERSON Terrorist))
MilitaryProcesses.kif 2151-2155
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Terrorism)
            (agent ?EV ?X))))
MilitaryProcesses.kif 2100-2105
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV ViolentContest)
            (agent ?EV ?X))))
Mid-level-ontology.kif 22618-22623

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


(=>
    (attribute ?PERSON Terrorist)
    (exists (?TO)
        (and
            (instance ?TO TerroristOrganization)
            (member ?PERSON ?TO))))
MilitaryProcesses.kif 2142-2147
(=>
    (instance ?EV Terrorism)
    (exists (?X)
        (and
            (agent ?EV ?X)
            (instance ?X TerroristOrganization))))
MilitaryProcesses.kif 2107-2112


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