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 2645-2658
(externalImage Demonstration " pictures/ people/ groups/ demonstration.png") pictureList.kif 384-384
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2644-2644 示范政治过程subclass

appearance as argument number 2

(termFormat ChineseLanguage Demonstration "示范") domainEnglishFormat.kif 18999-18999
(termFormat ChineseTraditionalLanguage Demonstration "示範") domainEnglishFormat.kif 18998-18998
(termFormat EnglishLanguage Demonstration "demonstration") domainEnglishFormat.kif 18997-18997


        (instance ?D Demonstration)
        (agent ?D ?A))
        (instance ?A Human)
        (instance ?A GroupOfPeople)))
MilitaryProcesses.kif 2662-2668
        (instance ?D Demonstration)
        (agent ?D ?G)
        (member ?A1 ?G)
        (member ?A2 ?G))
    (exists (?P)
            (believes ?A1 ?P)
            (believes ?A2 ?P))))
MilitaryProcesses.kif 2672-2681

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