more pictures...
| 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 |
|
|
|
|