Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Opera

 Sigma KEE - Opera
Opera(opera)
more pictures...		bouffe, comic_opera, grand_opera, light_opera, musical_drama, opera, opera_bouffe, opera_comique, operetta

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


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

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


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

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


(=>
    (and
        (instance ?OPERA Opera)
        (realization ?ACT ?OPERA))
    (instance ?ACT MakingMusic))		 Mid-level-ontology.kif 16569-16573 If X is an instance of opera and Y expresses the content of X, then Y is an instance of making music


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners