|
|
   DramaticPlay
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DramaticPlay FictionalText) | Mid-level-ontology.kif 16553-16553 | Dramatic play is a subclass of fictional text |
| (documentation DramaticPlay EnglishLanguage "A FictionalText that is intended to be realized as DramaticActing.") | Mid-level-ontology.kif 16554-16555 | Dramatic play is a subclass of fictional text |
| (externalImage DramaticPlay "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Wolter_Charlotte_Krziwanek.png") | pictureList.kif 2665-2665 | Dramatic play is a subclass of fictional text |
| (externalImage DramaticPlay "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Ingrid_Bergman_in_Dr._Jekyll_and_Mr._Hyde_Trailer%282%29.jpg") | pictureList.kif 2796-2796 | Dramatic play is a subclass of fictional text |
| (externalImage DramaticPlay "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Ingrid_Bergman_in_Dr._Jekyll_and_Mr._Hyde_Trailer.jpg") | pictureList.kif 2797-2797 | Dramatic play is a subclass of fictional text |
| appearance as argument number 2 |
|
|
| (subclass Opera DramaticPlay) | Mid-level-ontology.kif 16566-16566 | Opera is a subclass of dramatic play |
| (termFormat EnglishLanguage DramaticPlay "dramatic play") | domainEnglishFormat.kif 20340-20340 | Opera is a subclass of dramatic play |
| (termFormat ChineseTraditionalLanguage DramaticPlay "戲劇性的表演") | domainEnglishFormat.kif 20341-20341 | Opera is a subclass of dramatic play |
| (termFormat ChineseLanguage DramaticPlay "戏剧性的表演") | domainEnglishFormat.kif 20342-20342 | Opera is a subclass of dramatic play |
| antecedent |
|
|
| (=> (instance ?PLAY DramaticPlay) (hasPurpose ?PLAY (exists (?ACT ?PROP) (and (instance ?ACT DramaticActing) (containsInformation ?PLAY ?PROP) (realization ?ACT ?PROP))))) |
Mid-level-ontology.kif 16557-16564 | If X is an instance of dramatic play, then X has the purpose there exist Y, Z such that Y is an instance of dramatic acting, X contains information Z, and Y expresses the content of Z |
|
