Demonstrating - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Demonstrating,s__ChineseLanguage,'这是向公在某个地点众展示某些东西或一系列的东西。这会包括软件示范、戏剧、讲座、舞蹈与音乐会和博物馆展览等。')	Merge.kif 12961-12962
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 12957-12960
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__Demonstrating,s__SetOrClass)	Merge.kif 12956-12956	Demonstrating is a subclass of disseminating

appearance as argument number 2

s__instance(s__Demonstrating,s__SetOrClass)	Mid-level-ontology.kif 13527-13527	Lecture is a subclass of demonstrating
s__instance(s__Demonstrating,s__SetOrClass)	Mid-level-ontology.kif 13503-13503	Performance is a subclass of demonstrating
s__instance(s__Demonstrating,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 12972-12972

The number 1 argument of attends is an instance of demonstrating

antecedent

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

Merge.kif 12964-12967

If a demonstrating is an instance of demonstrating,
then there exists a human such that the human attends the demonstrating

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 411-422	If demo recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then the content bearing object has purpose there exist a process, an entity and the content bearing objectUSIC such that the process is an instance of demonstrating and the content bearing object is a record of the content bearing objectUSIC and the content bearing objectUSIC is a patient of the process and the process ends up at the entity and the entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6991-6996	If an entity is an instance of auditorium, then the entity has purpose there exists a process such that the process is an instance of demonstrating and the process is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13403-13409	If an entity is an instance of performance stage, then the entity has purpose there exists a process such that the process is an instance of demonstrating and the process is located at 2

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

KB Term:			Term intersection

English Word: