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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14964-14964
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 14963-14963 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 42240-42240
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42239-42239
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42238-42238

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


No TPTP formula. May not be expressible in strict first order. 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