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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DramaticPlay
DramaticPlay

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 DramaticPlay est une sous-classe de FictionalText

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


(subclass Opera DramaticPlay) Mid-level-ontology.kif 16336-16336 Opera est une sous-classe de DramaticPlay
(termFormat ChineseLanguage DramaticPlay "戏剧性的表演") domainEnglishFormat.kif 20349-20349 Opera est une sous-classe de DramaticPlay
(termFormat ChineseTraditionalLanguage DramaticPlay "戲劇性的表演") domainEnglishFormat.kif 20348-20348 Opera est une sous-classe de DramaticPlay
(termFormat EnglishLanguage DramaticPlay "dramatic play") domainEnglishFormat.kif 20347-20347 Opera est une sous-classe de DramaticPlay

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