![]() |
![]() ![]() ![]()
|
![]() |
|
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 12846-12849 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG") | pictureList.kif 9985-9985 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG") | pictureList.kif 10837-10837 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg") | pictureList.kif 10843-10843 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg") | pictureList.kif 10839-10839 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg") | pictureList.kif 10841-10841 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg") | pictureList.kif 10832-10832 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif") | pictureList.kif 10835-10835 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg") | pictureList.kif 10833-10833 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg") | pictureList.kif 10842-10842 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg") | pictureList.kif 10840-10840 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG") | pictureList.kif 10834-10834 | |
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg") | pictureList.kif 10838-10838 | |
(subclass Demonstrating Disseminating) | Merge.kif 12845-12845 |
appearance as argument number 2 |
![]() |
(subclass Lecture Demonstrating) | Mid-level-ontology.kif 15371-15371 | |
(subclass Performance Demonstrating) | Mid-level-ontology.kif 15347-15347 | |
(subclass ReligiousService Demonstrating) | Mid-level-ontology.kif 7701-7701 | |
(termFormat ChineseLanguage Demonstrating "示范") | domainEnglishFormat.kif 18993-18993 | |
(termFormat ChineseTraditionalLanguage Demonstrating "示範") | domainEnglishFormat.kif 18992-18992 | |
(termFormat EnglishLanguage Demonstrating "demonstrating") | domainEnglishFormat.kif 18991-18991 |
appearance as argument number 3 |
![]() |
(domain attends 1 Demonstrating) | Merge.kif 12859-12859 |
antecedent |
![]() |
(=> (instance ?DEMO Demonstrating) (exists (?PERSON) (attends ?DEMO ?PERSON))) |
Merge.kif 12851-12854 |
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 407-418 | |
(=> (instance ?AUDITORIUM Auditorium) (hasPurpose ?AUDITORIUM (exists (?DEMO) (and (instance ?DEMO Demonstrating) (eventLocated ?DEMO ?AUDITORIUM))))) |
Mid-level-ontology.kif 7023-7029 | |
(=> (instance ?STAGE PerformanceStage) (hasPurpose ?STAGE (exists (?PERF) (and (instance ?PERF Demonstrating) (eventLocated ?PERF ?STAGE))))) |
Mid-level-ontology.kif 15252-15258 |
![]() |
![]() |