more pictures...
VerbNet: transfer_mesg-37.1.1|demonstrate, transfer_mesg-37.1.1|demonstrate, transfer_mesg-37.1.1|demonstrate, transfer_mesg-37.1.1|demonstrate, transfer_mesg-37.1.1|demonstrate,
| 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 12005-12008 | |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG") | pictureList.kif 9995-9995 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/0/04/ Tractorprotest.JPG" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG") | pictureList.kif 10848-10848 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/3/34/ Math_lecture_at_TKK.JPG" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg") | pictureList.kif 10854-10854 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/3/3e/ The_offspring.jpg" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg") | pictureList.kif 10850-10850 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/5/5c/ School_children_in_Louvre.jpg" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg") | pictureList.kif 10852-10852 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/8/80/ Atlhighmuseum.jpg" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg") | pictureList.kif 10843-10843 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/9/91/ S24_Mainstream_3.jpg" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif") | pictureList.kif 10846-10846 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Foucault_pendulum_animated.gif" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg") | pictureList.kif 10844-10844 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/a/a8/ Workers_party_rally.jpg" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg") | pictureList.kif 10853-10853 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/c/cb/ Classical_spectacular10.jpg" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg") | pictureList.kif 10851-10851 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/d/d5/ WinterPalaceAndAC.jpg" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG") | pictureList.kif 10845-10845 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/commons/e/ef/ Taiwan%27s_demonstrators1.JPG" |
| (externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg") | pictureList.kif 10849-10849 | externalImage Demonstrating and "http://upload.wikimedia.org/wikipedia/en/3/30/Coexfile04.jpg" |
| (subclass Demonstrating Disseminating) | Merge.kif 12004-12004 | subclass Demonstrating and Disseminating |
| appearance as argument number 2 |
|
|
| (subclass Lecture Demonstrating) | Mid-level-ontology.kif 13526-13526 | subclass Lecture and Demonstrating |
| (subclass Performance Demonstrating) | Mid-level-ontology.kif 13502-13502 | subclass Performance and Demonstrating |
| (subclass ReligiousService Demonstrating) | Mid-level-ontology.kif 7671-7671 | subclass ReligiousService and Demonstrating |
| (termFormat ChineseLanguage Demonstrating "示范") | domainEnglishFormat.kif 18931-18931 | termFormat ChineseLanguage, Demonstrating and "示范" |
| (termFormat ChineseTraditionalLanguage Demonstrating "示範") | domainEnglishFormat.kif 18930-18930 | termFormat ChineseTraditionalLanguage, Demonstrating and "示範" |
| (termFormat EnglishLanguage Demonstrating "demonstrating") | domainEnglishFormat.kif 18929-18929 | termFormat EnglishLanguage, Demonstrating and "demonstrating" |
| appearance as argument number 3 |
|
|
| (domain attends 1 Demonstrating) | Merge.kif 12018-12018 | domain attends, 1 and Demonstrating |
| antecedent |
|
|
| (=> (instance ?DEMO Demonstrating) (exists (?PERSON) (attends ?DEMO ?PERSON))) |
Merge.kif 12010-12013 |
| consequent |
|
|
| (=> (and (attribute ?M DemoRecording) (instance ?M Recording)) (hasPurpose ?M (exists (?D ?G ?MUSIC) (and (instance ?D Demonstrating) (record ?M ?MUSIC) (patient ?D ?MUSIC) (destination ?D ?G) (instance ?G GroupOfPeople))))) |
Music.kif 405-416 | |
| (=> (instance ?AUDITORIUM Auditorium) (hasPurpose ?AUDITORIUM (exists (?DEMO) (and (instance ?DEMO Demonstrating) (eventLocated ?DEMO ?AUDITORIUM))))) |
Mid-level-ontology.kif 6992-6997 |
|
| (=> (instance ?STAGE PerformanceStage) (hasPurpose ?STAGE (exists (?PERF) (and (instance ?PERF Demonstrating) (eventLocated ?PERF ?STAGE))))) |
Mid-level-ontology.kif 13402-13408 |
|
|
|