Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Demonstration(demonstration)
|  | Boston_Tea_Party, demonstrate, demonstration, manifestation, march, protest_march, work-in |
| appearance as argument number 1 |
|
|
| (subclass Demonstration PoliticalProcess) | MilitaryProcesses.kif 2720-2720 | Demonstration is a subclass of political process |
| (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 2721-2734 | Demonstration is a subclass of political process |
| (externalImage Demonstration "http://articulatesoftware.com/SUMOpictures/ people/ groups/ demonstration.png") | pictureList.kif 384-384 | Demonstration is a subclass of political process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople))) |
MilitaryProcesses.kif 2738-2744 | If X is an instance of demonstration and Y is an agent of X, then Y is an instance of human or Y is an instance of group of people |
| (=> (and (instance ?D Demonstration) (agent ?D ?G) (member ?A1 ?G) (member ?A2 ?G)) (exists (?P) (and (believes ?A1 ?P) (believes ?A2 ?P)))) |
MilitaryProcesses.kif 2748-2757 | If X is an instance of demonstration, Y is an agent of X, Z is a member of Y, and W is a member of Y, then there exists V such that Z believes V and W believes V |
|