Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation DramaticPlay EnglishLanguage "A FictionalText that is intended to be realized as DramaticActing.") Mid-level-ontology.kif 15169-15170
(externalImage DramaticPlay "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Ingrid_Bergman_in_Dr._Jekyll_and_Mr._Hyde_Trailer.jpg") pictureList.kif 2798-2798
(externalImage DramaticPlay "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Ingrid_Bergman_in_Dr._Jekyll_and_Mr._Hyde_Trailer%282%29.jpg") pictureList.kif 2797-2797
(externalImage DramaticPlay "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Wolter_Charlotte_Krziwanek.png") pictureList.kif 2666-2666
(subclass DramaticPlay FictionalText) Mid-level-ontology.kif 15168-15168 Dramatic play is a subclass of fictional text

appearance as argument number 2
-------------------------


(subclass Opera DramaticPlay) Mid-level-ontology.kif 15181-15181 Opera is a subclass of dramatic play
(termFormat ChineseLanguage DramaticPlay "戏剧性的表演") domainEnglishFormat.kif 20356-20356 Opera is a subclass of dramatic play
(termFormat ChineseTraditionalLanguage DramaticPlay "戲劇性的表演") domainEnglishFormat.kif 20355-20355 Opera is a subclass of dramatic play
(termFormat EnglishLanguage DramaticPlay "dramatic play") domainEnglishFormat.kif 20354-20354 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 15172-15179


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