Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Demonstrating
Demonstrating(demonstrating)
more pictures...
bring_forth, counterdemonstration, demo, demonstrate, demonstrating, demonstration, display, exhibit, exhibition, light_show, post, present, presentation, presentment, produce, production, show, showing, summer_stock, 示範, 示范

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 "这是向公在某个地点众展示某些东西或一系列的东西。 这会 包括软件示范、戏剧、讲座、舞蹈与音乐会和博物馆展览等。") Merge.kif 17390-17391
(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 17386-17389
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG") pictureList.kif 9995-9995 "http://upload.wikimedia.org/wikipedia/commons/0/04/ Tractorprotest.JPG" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG") pictureList.kif 10848-10848 "http://upload.wikimedia.org/wikipedia/commons/3/34/ Math_lecture_at_TKK.JPG" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg") pictureList.kif 10854-10854 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ The_offspring.jpg" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg") pictureList.kif 10850-10850 "http://upload.wikimedia.org/wikipedia/commons/5/5c/ School_children_in_Louvre.jpg" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg") pictureList.kif 10852-10852 "http://upload.wikimedia.org/wikipedia/commons/8/80/ Atlhighmuseum.jpg" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg") pictureList.kif 10843-10843 "http://upload.wikimedia.org/wikipedia/commons/9/91/ S24_Mainstream_3.jpg" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif") pictureList.kif 10846-10846 "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Foucault_pendulum_animated.gif" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg") pictureList.kif 10844-10844 "http://upload.wikimedia.org/wikipedia/commons/a/a8/ Workers_party_rally.jpg" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg") pictureList.kif 10853-10853 "http://upload.wikimedia.org/wikipedia/commons/c/cb/ Classical_spectacular10.jpg" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg") pictureList.kif 10851-10851 "http://upload.wikimedia.org/wikipedia/commons/d/d5/ WinterPalaceAndAC.jpg" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG") pictureList.kif 10845-10845 "http://upload.wikimedia.org/wikipedia/commons/e/ef/ Taiwan%27s_demonstrators1.JPG" is a URL depicting demonstrating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg") pictureList.kif 10849-10849 "http://upload.wikimedia.org/wikipedia/en/3/30/Coexfile04.jpg" is a URL depicting demonstrating
(subclass Demonstrating Disseminating) Merge.kif 17385-17385 Demonstrating is a subclass of disseminating

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


(subclass Lecture Demonstrating) Mid-level-ontology.kif 13528-13528 Lecture is a subclass of demonstrating
(subclass Performance Demonstrating) Mid-level-ontology.kif 13504-13504 Performance is a subclass of demonstrating
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 7671-7671 Religious service is a subclass of demonstrating
(termFormat ChineseLanguage Demonstrating "示范") domainEnglishFormat.kif 18931-18931 "示范" is the printable form of demonstrating in ChineseLanguage
(termFormat ChineseTraditionalLanguage Demonstrating "示範") domainEnglishFormat.kif 18930-18930 "示範" is the printable form of demonstrating in ChineseTraditionalLanguage
(termFormat EnglishLanguage Demonstrating "demonstrating") domainEnglishFormat.kif 18929-18929 "demonstrating" is the printable form of demonstrating in english language

appearance as argument number 3
-------------------------


(domain attends 1 Demonstrating) Merge.kif 17401-17401 The number 1 argument of attends is an instance of demonstrating

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))
Merge.kif 17393-17396

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 411-422
(=>
    (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 13404-13410


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners