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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12846-12849
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG") pictureList.kif 9985-9985
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG") pictureList.kif 10837-10837
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg") pictureList.kif 10843-10843
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg") pictureList.kif 10839-10839
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg") pictureList.kif 10841-10841
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg") pictureList.kif 10832-10832
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif") pictureList.kif 10835-10835
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg") pictureList.kif 10833-10833
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg") pictureList.kif 10842-10842
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg") pictureList.kif 10840-10840
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG") pictureList.kif 10834-10834
(externalImage Demonstrating "http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg") pictureList.kif 10838-10838
(subclass Demonstrating Disseminating) Merge.kif 12845-12845 示范传播subclass

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


(subclass Lecture Demonstrating) Mid-level-ontology.kif 15371-15371 演讲示范subclass
(subclass Performance Demonstrating) Mid-level-ontology.kif 15347-15347 性能示范subclass
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 7701-7701 宗教服务示范subclass
(termFormat ChineseLanguage Demonstrating "示范") domainEnglishFormat.kif 18993-18993
(termFormat ChineseTraditionalLanguage Demonstrating "示範") domainEnglishFormat.kif 18992-18992
(termFormat EnglishLanguage Demonstrating "demonstrating") domainEnglishFormat.kif 18991-18991

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


(domain attends 1 Demonstrating) Merge.kif 12859-12859 出席 的 1 数量 是 示范instance

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))
Merge.kif 12851-12854

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 407-418
(=>
    (instance ?AUDITORIUM Auditorium)
    (hasPurpose ?AUDITORIUM
        (exists (?DEMO)
            (and
                (instance ?DEMO Demonstrating)
                (eventLocated ?DEMO ?AUDITORIUM)))))
Mid-level-ontology.kif 7023-7029
(=>
    (instance ?STAGE PerformanceStage)
    (hasPurpose ?STAGE
        (exists (?PERF)
            (and
                (instance ?PERF Demonstrating)
                (eventLocated ?PERF ?STAGE)))))
Mid-level-ontology.kif 15252-15258


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