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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Terrorist

Sigma KEE - 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

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