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 14991-14991
(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 14990-14990

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


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

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


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


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