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 15879-15880
(externalImage DramaticPlay "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Ingrid_Bergman_in_Dr._Jekyll_and_Mr._Hyde_Trailer.jpg") pictureList.kif 2797-2797
(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
(externalImage DramaticPlay "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Wolter_Charlotte_Krziwanek.png") pictureList.kif 2665-2665
(subclass DramaticPlay FictionalText) Mid-level-ontology.kif 15878-15878 Dramatic play is a subclass of fictional text

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


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


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