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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Demonstrating

Sigma KEE - Demonstrating
Demonstrating
more pictures...

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普及subclass では %n

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


(subclass Lecture Demonstrating) Mid-level-ontology.kif 15871-15871 LectureDemonstratingsubclass では %n
(subclass Performance Demonstrating) Mid-level-ontology.kif 15847-15847 PerformanceDemonstratingsubclass では %n
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 7986-7986 ReligiousServiceDemonstratingsubclass では %n
(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 attends の数値 1 引数は Demonstratinginstance では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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