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 2697-2710
(externalImage Demonstration "http://articulatesoftware.com/SUMOpictures/ people/ groups/ demonstration.png") pictureList.kif 384-384
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2696-2696 Demonstration è una sottoclasse di ProcessoPolitico

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


(termFormat ChineseLanguage Demonstration "示范") domainEnglishFormat.kif 19008-19008
(termFormat ChineseTraditionalLanguage Demonstration "示範") domainEnglishFormat.kif 19007-19007
(termFormat EnglishLanguage Demonstration "demonstration") domainEnglishFormat.kif 19006-19006

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


(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?A))
    (or
        (instance ?A Human)
        (instance ?A GroupOfPeople)))
MilitaryProcesses.kif 2714-2720
(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?G)
        (member ?A1 ?G)
        (member ?A2 ?G))
    (exists (?P)
        (and
            (believes ?A1 ?P)
            (believes ?A2 ?P))))
MilitaryProcesses.kif 2724-2733


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