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


KB Term:  Term intersection
English Word: 

Sigma KEE - Demonstrating
Demonstrating(demonstrating)
more pictures...

appearance as argument number 1
-------------------------


(subclass Demonstrating Disseminating) Merge.kif 13248-13248 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 13249-13252 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 9193-9193 Religious service is a subclass of demonstrating
(subclass Performance Demonstrating) Mid-level-ontology.kif 17388-17388 Performance is a subclass of demonstrating
(subclass Lecture Demonstrating) Mid-level-ontology.kif 17412-17412 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 13262-13262 The number 1 argument of attends is an instance of demonstrating

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))
Merge.kif 13254-13257 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 8504-8510 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 17277-17283 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 is open source software produced by Articulate Software and its partners