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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 2136-2138
(instance Terrorist SocialRole) MilitaryProcesses.kif 2135-2135 Terrorist is an instance of social role

appearance as argument number 2

(termFormat ChineseLanguage Terrorist "恐怖分子") domainEnglishFormat.kif 57588-57588
(termFormat ChineseTraditionalLanguage Terrorist "恐怖分子") domainEnglishFormat.kif 57587-57587
(termFormat EnglishLanguage Terrorist "terrorist") domainEnglishFormat.kif 57586-57586


    (attribute ?PERSON Terrorist)
    (exists (?TO)
            (instance ?TO TerroristOrganization)
            (member ?PERSON ?TO))))
MilitaryProcesses.kif 2142-2147


        (instance ?TO TerroristOrganization)
        (member ?PERSON ?TO))
    (attribute ?PERSON Terrorist))
MilitaryProcesses.kif 2151-2155

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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