Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Demonstrating Disseminating) Merge.kif 13370-13370 Demonstrating is a subclass of disseminating
(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 13371-13374 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG") pictureList.kif 9976-9976 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg") pictureList.kif 10820-10820 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg") pictureList.kif 10821-10821 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG") pictureList.kif 10822-10822 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif") pictureList.kif 10823-10823 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG") pictureList.kif 10825-10825 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg") pictureList.kif 10826-10826 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg") pictureList.kif 10827-10827 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg") pictureList.kif 10828-10828 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg") pictureList.kif 10829-10829 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg") pictureList.kif 10830-10830 Demonstrating is a subclass of disseminating
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg") pictureList.kif 10831-10831 Demonstrating is a subclass of disseminating

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


(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 9307-9307 Religious service is a subclass of demonstrating
(subclass Performance Demonstrating) Mid-level-ontology.kif 17458-17458 Performance is a subclass of demonstrating
(subclass Lecture Demonstrating) Mid-level-ontology.kif 17482-17482 Lecture is a subclass of demonstrating
(termFormat EnglishLanguage Demonstrating "demonstrating") domainEnglishFormat.kif 19002-19002 Lecture is a subclass of demonstrating
(termFormat ChineseTraditionalLanguage Demonstrating "示範") domainEnglishFormat.kif 19003-19003 Lecture is a subclass of demonstrating
(termFormat ChineseLanguage Demonstrating "示范") domainEnglishFormat.kif 19004-19004 Lecture is a subclass of demonstrating

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


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

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))		 Merge.kif 13376-13379 If X is an instance of demonstrating, then there exists Y such that Y attends X

consequent
-------------------------


(=>
    (instance ?AUDITORIUM Auditorium)
    (hasPurpose ?AUDITORIUM
        (exists (?DEMO)
            (and
                (instance ?DEMO Demonstrating)
                (eventLocated ?DEMO ?AUDITORIUM)))))		 Mid-level-ontology.kif 8622-8628 If X is an instance of auditorium, then X has the purpose there exists Y such that Y is an instance of demonstrating and Y is located at X
(=>
    (instance ?STAGE PerformanceStage)
    (hasPurpose ?STAGE
        (exists (?PERF)
            (and
                (instance ?PERF Demonstrating)
                (eventLocated ?PERF ?STAGE)))))		 Mid-level-ontology.kif 17351-17357 If X is an instance of performance stage, then X has the purpose there exists Y such that Y is an instance of demonstrating and Y is located at X
(=>
    (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 410-421 If demo recording is an attribute of X and X is an instance of recording, then X has the purpose there exist Y, Z, W such that Y is an instance of demonstrating, X is a record of W, W is a patient of Y, Y ends up at Z, and Z is an instance of group of people


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners