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 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 57616-57616
(termFormat ChineseTraditionalLanguage Terrorist "恐怖分子") domainEnglishFormat.kif 57615-57615
(termFormat EnglishLanguage Terrorist "terrorist") domainEnglishFormat.kif 57614-57614

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


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

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


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


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