more pictures...
| Demonstrating(demonstrating)
more pictures... | | bring_forth, counterdemonstration, demo, demonstrate, demonstration, display, exhibit, exhibition, light_show, post, present, presentation, presentment, produce, production, show, showing, summer_stock |
| appearance as argument number 1 |
|
|
| (documentation Demonstrating ChineseLanguage "这是向公在某个地点众展示某些东西或一系列的东西。 这会 包括软件示范、戏剧、讲座、舞蹈与音乐会和博物馆展览等。") | chinese_format.kif 3245-3246 | |
| (documentation Demonstrating EnglishLanguage "Exhibiting something or a range of things before the public in a particular location. This would cover software demos, theatrical plays, lectures, dance and music recitals, museum exhibitions, etc.") | Merge.kif 13119-13122 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG") | pictureList.kif 9977-9977 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG") | pictureList.kif 10827-10827 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg") | pictureList.kif 10833-10833 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg") | pictureList.kif 10829-10829 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg") | pictureList.kif 10831-10831 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg") | pictureList.kif 10822-10822 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif") | pictureList.kif 10825-10825 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg") | pictureList.kif 10823-10823 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg") | pictureList.kif 10832-10832 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg") | pictureList.kif 10830-10830 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG") | pictureList.kif 10824-10824 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg") | pictureList.kif 10828-10828 | |
| (subclass Demonstrating Disseminating) | Merge.kif 13118-13118 | Demonstrating is a subclass of disseminating |
| appearance as argument number 2 |
|
|
| (subclass Lecture Demonstrating) | Mid-level-ontology.kif 15898-15898 | Lecture is a subclass of demonstrating |
| (subclass Performance Demonstrating) | Mid-level-ontology.kif 15874-15874 | Performance is a subclass of demonstrating |
| (subclass ReligiousService Demonstrating) | Mid-level-ontology.kif 8013-8013 | Religious service is a subclass of demonstrating |
| (termFormat ChineseLanguage Demonstrating "示范") | domainEnglishFormat.kif 19002-19002 | |
| (termFormat ChineseTraditionalLanguage Demonstrating "示範") | domainEnglishFormat.kif 19001-19001 | |
| (termFormat EnglishLanguage Demonstrating "demonstrating") | domainEnglishFormat.kif 19000-19000 |
| appearance as argument number 3 |
|
|
| (domain attends 1 Demonstrating) | Merge.kif 13132-13132 | The number 1 argument of attends is an instance of demonstrating |
| antecedent |
|
|
| (=> (instance ?DEMO Demonstrating) (exists (?PERSON) (attends ?DEMO ?PERSON))) |
Merge.kif 13124-13127 |
|
| consequent |
|
|
|
|
|