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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MusicGenre
MusicGenre(music genre)African-American_music, bel_canto, berceuse, black_music, bluegrass, carol, chamber_music, classical, classical_music, cradlesong, crossover, dithyramb, doo-wop, genre, golden_oldie, hillbilly_music, lied, lullaby, music_genre, musical_genre, musical_style, oldie, paean, pean, popularism, rock_opera, serious_music, sonata_form, soul, square-dance_music, toccata, zydeco

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


No TPTP formula. May not be expressible in strict first order. Music.kif 504-510
No TPTP formula. May not be expressible in strict first order. Music.kif 503-503 Music genre is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. Music.kif 521-521 Acapella is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 536-536 Acid house is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 541-541 Acid jazz is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 549-549 Acid rock is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 555-555 Acoustic is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 573-573 Alternative country is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 579-579 Alternative dance is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 587-587 Alternative rock is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 592-592 Ballad is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 597-597 Bebop is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 603-603 Big band music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 608-608 Bluegrass is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 614-614 Blues is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 619-619 Chamber music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 625-625 Christmas music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 656-656 Classical music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 664-664 Country music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 685-685 Electronic music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 699-699 Emo is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 705-705 Folk music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 711-711 Funk music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 717-717 Heavy metal is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 724-724 Hip hop music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 738-738 Indie music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 750-750 Jazz music is an instance of music genre

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Music.kif 513-519


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