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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Demonstrating
Demonstrating
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


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