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 13073-13076
(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 13072-13072 Demonstrating is a subclass of disseminating

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


(subclass Lecture Demonstrating) Mid-level-ontology.kif 15871-15871 Lecture is a subclass of demonstrating
(subclass Performance Demonstrating) Mid-level-ontology.kif 15847-15847 Performance is a subclass of demonstrating
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 7986-7986 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 13086-13086 The number 1 argument of attends is an instance of demonstrating

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))
Merge.kif 13078-13081

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 7325-7331
(=>
    (instance ?STAGE PerformanceStage)
    (hasPurpose ?STAGE
        (exists (?PERF)
            (and
                (instance ?PERF Demonstrating)
                (eventLocated ?PERF ?STAGE)))))
Mid-level-ontology.kif 15752-15758


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