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 22677-22683
(subclass TerroristOrganization PoliticalOrganization) Mid-level-ontology.kif 22668-22668 TerroristOrganization è una sottoclasse di OrganizzazionePolitica

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


(subclass ForeignTerroristOrganization TerroristOrganization) Government.kif 2343-2343 ForeignTerroristOrganization è una sottoclasse di TerroristOrganization
(termFormat ChineseLanguage TerroristOrganization "恐怖组织") domainEnglishFormat.kif 57628-57628
(termFormat ChineseTraditionalLanguage TerroristOrganization "恐怖組織") domainEnglishFormat.kif 57627-57627
(termFormat EnglishLanguage TerroristOrganization "terrorist organization") domainEnglishFormat.kif 57626-57626

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 22670-22675

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