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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Opera
Opera(歌剧)
more pictures...

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


(documentation Opera EnglishLanguage "A DramaticPlay that is set to MakingMusic.") Mid-level-ontology.kif 14964-14964
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/2/27/ Luciano_Pavarotti_15.06.02.jpg") pictureList.kif 7480-7480
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/4/4b/ JCS.JPG") pictureList.kif 7475-7475
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/5/51/ Verdi.jpg") pictureList.kif 7467-7467
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/5/53/ Henry_Purcell.jpg") pictureList.kif 7468-7468
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/6/6c/ Opera.jpg") pictureList.kif 7479-7479
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/8/86/ Gra%C5%BCyna_Brodzi%C5%84ska_18.jpg") pictureList.kif 7477-7477
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/9/96/ Claudio_Monteverdi_5.jpg") pictureList.kif 7469-7469
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/a/ae/ The_Mikado_Three_Little_Maids.jpg") pictureList.kif 7470-7470
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/c/c3/ 1875_Carmen_poster.jpg") pictureList.kif 7471-7471
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/d/dc/ Arena_di_Verona_AIDA_von_Guiseppe_Verdi_%281232258895%29.jpg") pictureList.kif 7476-7476
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/d/df/ RongeTurandot.jpg") pictureList.kif 7478-7478
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Milano-scalanotte.jpg") pictureList.kif 7472-7472
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/e/e3/ Rheingold.gif") pictureList.kif 6744-6744
(externalImage Opera "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Feodor_Chaliapin_as_Ivan_Susanin.jpg") pictureList.kif 7473-7473
(externalImage Opera "http://upload.wikimedia.org/wikipedia/en/0/04/Senesino_portrait_edited.jpg") pictureList.kif 7474-7474
(subclass Opera DramaticPlay) Mid-level-ontology.kif 14963-14963 歌剧戏剧性的表演subclass

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


(termFormat ChineseLanguage Opera "歌剧") domainEnglishFormat.kif 42240-42240
(termFormat ChineseTraditionalLanguage Opera "歌劇") domainEnglishFormat.kif 42239-42239
(termFormat EnglishLanguage Opera "opera") domainEnglishFormat.kif 42238-42238

antecedent
-------------------------


(=>
    (and
        (instance ?OPERA Opera)
        (realization ?ACT ?OPERA))
    (instance ?ACT MakingMusic))
Mid-level-ontology.kif 14966-14970


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