Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DramaticPlay
DramaticPlay(dramatic play)
Grand_Guignol, black_comedy, book, comedy, dark_comedy, drama, dramatic_play, high_comedy, play, playscript, script

appearance as argument number 1
-------------------------


(subclass DramaticPlay FictionalText) Mid-level-ontology.kif 16452-16452 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 16453-16454 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 16465-16465 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 16456-16463 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


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 3.0 is open source software produced by Articulate Software and its partners