|
|
   Demonstrating
|
|
|
| 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 12462-12465 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Tractorprotest.JPG"')
|
pictureList.kif 9985-9985 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG"')
|
pictureList.kif 10837-10837 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ The_offspring.jpg"')
|
pictureList.kif 10843-10843 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ School_children_in_Louvre.jpg"')
|
pictureList.kif 10839-10839 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Atlhighmuseum.jpg"')
|
pictureList.kif 10841-10841 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ S24_Mainstream_3.jpg"')
|
pictureList.kif 10832-10832 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Foucault_pendulum_animated.gif"')
|
pictureList.kif 10835-10835 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Workers_party_rally.jpg"')
|
pictureList.kif 10833-10833 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Classical_spectacular10.jpg"')
|
pictureList.kif 10842-10842 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ WinterPalaceAndAC.jpg"')
|
pictureList.kif 10840-10840 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Taiwan%27s_demonstrators1.JPG"')
|
pictureList.kif 10834-10834 | |
| s__externalImage(s__Demonstrating,'"http://upload.wikimedia.org/wikipedia/en/3/ 30/ Coexfile04.jpg"')
|
pictureList.kif 10838-10838 | |
| s__instance(s__Disseminating,s__Class) s__instance(s__Demonstrating,s__Class) s__subclass(s__Demonstrating,s__Disseminating)
|
Merge.kif 12461-12461 | Demonstrating is a subclass of disseminating |
| appearance as argument number 2 |
|
|
| s__instance(s__Lecture,s__Class) s__subclass(s__Lecture,s__Demonstrating) s__instance(s__Demonstrating,s__Class)
|
Mid-level-ontology.kif 15151-15151 | Lecture is a subclass of demonstrating |
| s__subclass(s__Performance,s__Demonstrating) s__instance(s__Demonstrating,s__Class) s__instance(s__Performance,s__Class)
|
Mid-level-ontology.kif 15127-15127 | Performance is a subclass of demonstrating |
| s__instance(s__ReligiousService,s__Class) s__subclass(s__ReligiousService,s__Demonstrating) s__instance(s__Demonstrating,s__Class)
|
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 12475-12475 | 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 12467-12470 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 406-417 |
|
| 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 15032-15038 |
|
|
|
|
