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, 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
-------------------------


(=>
    (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 408-419
(=>
    (instance ?AUDITORIUM Auditorium)
    (hasPurpose ?AUDITORIUM
        (exists (?DEMO)
            (and
                (instance ?DEMO Demonstrating)
                (eventLocated ?DEMO ?AUDITORIUM)))))
Mid-level-ontology.kif 7352-7358
(=>
    (instance ?STAGE PerformanceStage)
    (hasPurpose ?STAGE
        (exists (?PERF)
            (and
                (instance ?PERF Demonstrating)
                (eventLocated ?PERF ?STAGE)))))
Mid-level-ontology.kif 15779-15785


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 3.0 is open source software produced by Articulate Software and its partners