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, demonstrating, 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,'这是向公在某个地点众展示某些东西或一系列的东西。 这会 包括软件示范、戏剧、讲座、舞蹈与音乐会和博物馆展览等。')

Merge.kif 13019-13020
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 13015-13018
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG')

pictureList.kif 9995-9995 "http://upload.wikimedia.org/wikipedia/commons/0/04/ Tractorprotest.JPG" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG')

pictureList.kif 10848-10848 "http://upload.wikimedia.org/wikipedia/commons/3/34/ Math_lecture_at_TKK.JPG" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg')

pictureList.kif 10854-10854 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ The_offspring.jpg" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg')

pictureList.kif 10850-10850 "http://upload.wikimedia.org/wikipedia/commons/5/5c/ School_children_in_Louvre.jpg" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg')

pictureList.kif 10852-10852 "http://upload.wikimedia.org/wikipedia/commons/8/80/ Atlhighmuseum.jpg" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg')

pictureList.kif 10843-10843 "http://upload.wikimedia.org/wikipedia/commons/9/91/ S24_Mainstream_3.jpg" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif')

pictureList.kif 10846-10846 "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Foucault_pendulum_animated.gif" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg')

pictureList.kif 10844-10844 "http://upload.wikimedia.org/wikipedia/commons/a/a8/ Workers_party_rally.jpg" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg')

pictureList.kif 10853-10853 "http://upload.wikimedia.org/wikipedia/commons/c/cb/ Classical_spectacular10.jpg" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg')

pictureList.kif 10851-10851 "http://upload.wikimedia.org/wikipedia/commons/d/d5/ WinterPalaceAndAC.jpg" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG')

pictureList.kif 10845-10845 "http://upload.wikimedia.org/wikipedia/commons/e/ef/ Taiwan%27s_demonstrators1.JPG" is a URL depicting demonstrating
s__externalImage(s__Demonstrating,'http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg')

pictureList.kif 10849-10849 "http://upload.wikimedia.org/wikipedia/en/3/30/Coexfile04.jpg" is a URL depicting demonstrating
s__instance(s__Disseminating,s__SetOrClass)

s__instance(s__Demonstrating,s__SetOrClass)

s__subclass(s__Demonstrating,s__Disseminating)

Merge.kif 13014-13014 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 13527-13527 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 13503-13503 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 7670-7670 Religious service is a subclass of demonstrating
s__termFormat(s__EnglishLanguage,s__Demonstrating,'demonstrating')

domainEnglishFormat.kif 3588-3588 "demonstrating" is the printable form of demonstrating in english language

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


s__domain(s__attends__m,1,s__Demonstrating)

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

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


( ! [V__DEMO] :
   (s__instance(V__DEMO,s__Demonstrating)s__=>(s__exists__m[V__PERSON] :
       (s__instance(V__PERSON,s__Human)s__and__ms__attends(V__DEMO,V__PERSON))))
)

Merge.kif 13022-13025

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


No TPTP formula. May not be expressible in strict first order. Music.kif 411-422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6991-6996
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13403-13409


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners