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 16324-16325
(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 16323-16323 Dramatic play is a subclass of fictional text

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


(subclass Opera DramaticPlay) Mid-level-ontology.kif 16336-16336 Opera is a subclass of dramatic play
(termFormat ChineseLanguage DramaticPlay "戏剧性的表演") domainEnglishFormat.kif 20349-20349 Opera is a subclass of dramatic play
(termFormat ChineseTraditionalLanguage DramaticPlay "戲劇性的表演") domainEnglishFormat.kif 20348-20348 Opera is a subclass of dramatic play
(termFormat EnglishLanguage DramaticPlay "dramatic play") domainEnglishFormat.kif 20347-20347 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 16327-16334


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