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
-------------------------


s__documentation(s__Demonstrating,s__ChineseLanguage,'"这是向公在某个地点众展示某些东西或一系列的东西。 这会 包括软件示范、戏剧、讲座、舞蹈与音乐会和博物馆展览等。"')

chinese_format.kif 3245-3246
s__documentation(s__Demonstrating,s__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 12450-12453
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG"')

pictureList.kif 9994-9994
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG"')

pictureList.kif 10847-10847
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg"')

pictureList.kif 10853-10853
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg"')

pictureList.kif 10849-10849
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg"')

pictureList.kif 10851-10851
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg"')

pictureList.kif 10842-10842
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif"')

pictureList.kif 10845-10845
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg"')

pictureList.kif 10843-10843
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg"')

pictureList.kif 10852-10852
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg"')

pictureList.kif 10850-10850
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG"')

pictureList.kif 10844-10844
s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg"')

pictureList.kif 10848-10848
s__instance(s__Disseminating,s__SetOrClass)

s__instance(s__Demonstrating,s__SetOrClass)

s__subclass(s__Demonstrating,s__Disseminating)

Merge.kif 12449-12449 Demonstrating is a subclass of disseminating

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


s__instance(s__Lecture,s__SetOrClass)

s__instance(s__Demonstrating,s__SetOrClass)

s__subclass(s__Lecture,s__Demonstrating)

Mid-level-ontology.kif 15016-15016 Lecture is a subclass of demonstrating
s__subclass(s__Performance,s__Demonstrating)

s__instance(s__Demonstrating,s__SetOrClass)

s__instance(s__Performance,s__SetOrClass)

Mid-level-ontology.kif 14992-14992 Performance is a subclass of demonstrating
s__subclass(s__ReligiousService,s__Demonstrating)

s__instance(s__Demonstrating,s__SetOrClass)

s__instance(s__ReligiousService,s__SetOrClass)

Mid-level-ontology.kif 7631-7631 Religious service is a subclass of demonstrating
s__termFormat(s__ChineseLanguage,s__Demonstrating,'"示范"')

domainEnglishFormat.kif 18993-18993
s__termFormat(s__ChineseTraditionalLanguage,s__Demonstrating,'"示範"')

domainEnglishFormat.kif 18992-18992
s__termFormat(s__EnglishLanguage,s__Demonstrating,'"demonstrating"')

domainEnglishFormat.kif 18991-18991

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


s__domain(s__attends__m,n__1,s__Demonstrating)

Merge.kif 12463-12463 The number 1 argument of attends is an instance of demonstrating

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


( ! [V__DEMO] :
   ((s__instance(V__DEMO,s__Demonstrating) =>
       (( ? [V__PERSON] :
           ((s__instance(V__PERSON,s__Human) &
               s__attends(V__DEMO,V__PERSON))))))
   )
)

Merge.kif 12455-12458

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


No TPTP formula. May not be expressible in strict first order. Music.kif 405-416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6961-6967
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14897-14903


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