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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Demonstration

appearance as argument number 1

(documentation Demonstration EnglishLanguage "A demonstration is the public display of the common opinion of a group of people, whether members of the public, a sector of the community, or an activist group. Topics of demonstrations often deal with politics, economics, and society, or the issues related to it. Thus, such an opinion is demonstrated to be public and significant by gathering in a crowd, usually at a symbolic place or date, associated with that opinion. If a demonstration is targeted against a certain nation, the demonstration would take place infront of the embasy of the nation in question. Demonstrations can be used to show an opinion in protest or as a criticism of a public issue or a perceived grievance or social injustice. First Amendment of the United States Constitution specifically allows demonstrations and the freedom of assembly as part of a measure to facilitate the redress of such grievances. (from Wikipedia)") MilitaryProcesses.kif 2613-2626
(externalImage Demonstration " pictures/ people/ groups/ demonstration.png") pictureList.kif 384-384
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2612-2612

appearance as argument number 2

(termFormat EnglishLanguage Demonstration "demonstration") domainEnglishFormat.kif 3589-3589


        (instance ?D Demonstration)
        (agent ?D ?A))
        (instance ?A Human)
        (instance ?A GroupOfPeople)))
MilitaryProcesses.kif 2630-2636
        (instance ?D Demonstration)
        (agent ?D ?G)
        (member ?A1 ?G)
        (member ?A2 ?G))
    (exists (?P)
            (believes ?A1 ?P)
            (believes ?A2 ?P))))
MilitaryProcesses.kif 2640-2649

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners