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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Terrorist
Terrorist(terrorist)terrorist

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


(documentation Terrorist EnglishLanguage "WN: a radical who employs terror as a political weapon, usually organizes with other terrorists in small cells, often uses religion as a cover for terrorist activities.") MilitaryProcesses.kif 2137-2139
(instance Terrorist SocialRole) MilitaryProcesses.kif 2136-2136 Terrorist is an instance of social role

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


(termFormat ChineseLanguage Terrorist "恐怖分子") domainEnglishFormat.kif 57581-57581
(termFormat ChineseTraditionalLanguage Terrorist "恐怖分子") domainEnglishFormat.kif 57580-57580
(termFormat EnglishLanguage Terrorist "terrorist") domainEnglishFormat.kif 57579-57579

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


(=>
    (attribute ?PERSON Terrorist)
    (exists (?TO)
        (and
            (instance ?TO TerroristOrganization)
            (member ?PERSON ?TO))))
MilitaryProcesses.kif 2143-2148

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


(=>
    (and
        (instance ?TO TerroristOrganization)
        (member ?PERSON ?TO))
    (attribute ?PERSON Terrorist))
MilitaryProcesses.kif 2152-2156


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