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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Terrorist

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 57588-57588
(termFormat ChineseTraditionalLanguage Terrorist "恐怖分子") domainEnglishFormat.kif 57587-57587
(termFormat EnglishLanguage Terrorist "terrorist") domainEnglishFormat.kif 57586-57586

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