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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Demonstration
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 2626-2639
(externalImage Demonstration "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ people/ groups/ demonstration.png") pictureList.kif 384-384
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2625-2625

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Demonstration "示范") domainEnglishFormat.kif 18937-18937
(termFormat ChineseTraditionalLanguage Demonstration "示範") domainEnglishFormat.kif 18936-18936
(termFormat EnglishLanguage Demonstration "demonstration") domainEnglishFormat.kif 18935-18935

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


(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?A))
    (or
        (instance ?A Human)
        (instance ?A GroupOfPeople)))
MilitaryProcesses.kif 2643-2649
(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?G)
        (member ?A1 ?G)
        (member ?A2 ?G))
    (exists (?P)
        (and
            (believes ?A1 ?P)
            (believes ?A2 ?P))))
MilitaryProcesses.kif 2653-2662


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