Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14991-14991
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7480-7480
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7475-7475
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7467-7467
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7468-7468
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7479-7479
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7477-7477
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7469-7469
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7470-7470
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7471-7471
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7476-7476
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7478-7478
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7472-7472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6744-6744
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7473-7473
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7474-7474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14990-14990 Opera is a subclass of dramatic play

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42242-42242
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42241-42241
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42240-42240

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14993-14997


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 is open source software produced by Articulate Software and its partners